(t *testing.T, decls map[ast.PredicateSym]ast.Decl)
| 242 | } |
| 243 | |
| 244 | func mustDesugar(t *testing.T, decls map[ast.PredicateSym]ast.Decl) map[ast.PredicateSym]*ast.Decl { |
| 245 | t.Helper() |
| 246 | desugaredDecls, err := symbols.CheckAndDesugar(decls) |
| 247 | if err != nil { |
| 248 | t.Fatal(err) |
| 249 | } |
| 250 | return desugaredDecls |
| 251 | } |
| 252 | |
| 253 | func TestAnalyzePositive(t *testing.T) { |
| 254 | privateDecl := makeDecl(t, atom("foo.baz(X)"), []ast.Atom{atom("private()")}, nil, nil) |
no test coverage detected