Function TestBoundsAnalyzerWithManyInitialFacts

analysis/validation_test.go:945–965

(t *testing.T)

}

func TestBoundsAnalyzerWithManyInitialFacts(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"}),
	)
	var facts []ast.Atom
	for i := 0; i < 100000; i++ {
		facts = append(facts, atom(fmt.Sprintf("b(/foo/bar%d)", i)))
	}
	bc, err := newBoundsAnalyzer(&test.programInfo, test.nameTrie, facts, 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 TestBoundsAnalyzerWithNamesNegative(t *testing.T) {
	test := newBoundsTestCaseWithNameTrie(t, []ast.Clause{