def test_series_bt() -> None: graphs = list( map(lambda f: MemoryGraph.fromFile(f), [ f'{EXAMPLES_PROLOG}/series-bt/bt-null-1.pl', f'{EXAMPLES_PROLOG}/series-bt/bt-null-2.pl', f'{EXAMPLES_PROLOG}/series-bt/bt-null-3.pl', ])) match.match_repository(graphs)
def test_series_bt() -> None: graphs = list( map(lambda f: MemoryGraph.fromFile(f), [ f'{EXAMPLES_PROLOG}/series-bt/bt-null-1.pl', f'{EXAMPLES_PROLOG}/series-bt/bt-null-2.pl', f'{EXAMPLES_PROLOG}/series-bt/bt-null-3.pl', ])) predicate = match.match_repository(graphs) verifast.check_witness(verifast.construct_witness(predicate, graphs))
def test_sll_headptr() -> None: graphs = list( map(lambda f: MemoryGraph.fromFile(f), [f'{EXAMPLES_PROLOG}/sll-headPtr.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_bt_null_all() -> None: graphs = list( map(lambda f: MemoryGraph.fromFile(f), [f'{EXAMPLES_PROLOG}/bt-null-all.pl'])) predicate = match.match_repository(graphs) verifast.check_witness(verifast.construct_witness(predicate, graphs))
def test_bt_null() -> None: graphs = list( map(lambda f: MemoryGraph.fromFile(f), [f'{EXAMPLES_PROLOG}/bt-null.pl'])) match.match_repository(graphs)
def test_sll_tailptr() -> None: graphs = list( map(lambda f: MemoryGraph.fromFile(f), [f'{EXAMPLES_PROLOG}/sll-tailPtr.pl'])) match.match_repository(graphs)
def test_dll_stable_this() -> None: graphs = list( map(lambda f: MemoryGraph.fromFile(f), [f'{EXAMPLES_PROLOG}/dll-stable-this.pl'])) match.match_repository(graphs)
def test_sll_head_tail() -> None: graphs = list( map(lambda f: MemoryGraph.fromFile(f), [f'{EXAMPLES_PROLOG}/lseg.pl'])) match.match_repository(graphs)
def test_dll_stable_null_inner_ep() -> None: graphs = list( map(lambda f: MemoryGraph.fromFile(f), [f'{EXAMPLES_PROLOG}/dll-stable-null-inner-ep.pl'])) match.match_repository(graphs)