def test_bt_root_ptr() -> None:
graphs = list(
map(lambda f: MemoryGraph.fromFile(f),
[f'{EXAMPLES_PROLOG}/bt-root-ptr.pl']))
predicate = match.match_repository(graphs)
verifast.check_witness(verifast.construct_witness(predicate, graphs))
def test_dll_stable_this() -> None:
graphs = list(
map(lambda f: MemoryGraph.fromFile(f),
[f'{EXAMPLES_PROLOG}/dll-stable-this.pl']))
predicate = match.match_repository(graphs)
verifast.check_witness(verifast.construct_witness(predicate, graphs))
def test_sll_head_tail() -> None:
graphs = list(
map(lambda f: MemoryGraph.fromFile(f), [f'{EXAMPLES_PROLOG}/lseg.pl']))
predicate = match.match_repository(graphs)
verifast.check_witness(verifast.construct_witness(predicate, graphs))