Function makeDesugaredDecls

analysis/validation_test.go:568–579

(t *testing.T, decls ...ast.Decl)

}

func makeDesugaredDecls(t *testing.T, decls ...ast.Decl) map[ast.PredicateSym]*ast.Decl {
	t.Helper()
	declMap := make(map[ast.PredicateSym]ast.Decl)
	for _, decl := range decls {
		declMap[decl.DeclaredAtom.Predicate] = decl
	}
	desugaredDecls, err := symbols.CheckAndDesugar(declMap)
	if err != nil {
		t.Fatal(err)
	}
	return desugaredDecls
}

func newBoundsTestCase(t *testing.T, clauses []ast.Clause, decls []ast.Decl) boundsTestCase {
	return newBoundsTestCaseWithNameTrie(t, clauses, decls, nil)