Function TestBoundsAnalyzerWithNames

analysis/validation_test.go:927–943

(t *testing.T)

}

func TestBoundsAnalyzerWithNames(t *testing.T) {
	test := newBoundsTestCaseWithNameTrie(t, []ast.Clause{
		clause("a(X) :- b(X)."),
	}, []ast.Decl{
		makeSimpleDecl(atom("a(X)"), name("/foo")),
		makeSimpleDecl(atom("b(X)"), name("/foo")),
	},
		symbols.NewNameTrie().Add([]string{"foo"}),
	)
	bc, err := newBoundsAnalyzer(&test.programInfo, test.nameTrie, []ast.Atom{atom("b(/foo/bar)")}, test.rulesMap)
	if err != nil {
		t.Fatal(err)
	}
	if err := bc.BoundsCheck(); err != nil {
		t.Errorf("BoundsCheck(%v, %v) returns error when it shouldn't: %v", test.programInfo, test.rulesMap, err)
	}
}

func TestBoundsAnalyzerWithManyInitialFacts(t *testing.T) {
	test := newBoundsTestCaseWithNameTrie(t, []ast.Clause{