Function newBoundsTestCaseWithNameTrie

analysis/validation_test.go:585–597

(t *testing.T, clauses []ast.Clause, decls []ast.Decl, nameTrie symbols.NameTrie)

}

func newBoundsTestCaseWithNameTrie(t *testing.T, clauses []ast.Clause, decls []ast.Decl, nameTrie symbols.NameTrie) boundsTestCase {
	t.Helper()
	idbSymbols := make(map[ast.PredicateSym]struct{})
	for _, clause := range clauses {
		idbSymbols[clause.Head.Predicate] = struct{}{}
	}

	return boundsTestCase{
		programInfo: ProgramInfo{nil, idbSymbols, nil, nil, clauses, makeDesugaredDecls(t, decls...), nil},
		rulesMap:    makeRulesMap(clauses),
		nameTrie:    nameTrie,
	}
}

func makeSimpleDecl(a ast.Atom, bound ...ast.BaseTerm) ast.Decl {
	return ast.Decl{