Function atom

analysis/validation_test.go:50–60

(str string)

}

func atom(str string) ast.Atom {
	term, err := parse.Term(str)
	if err != nil {
		panic(fmt.Errorf("bad syntax in test case: %s got %w", str, err))
	}
	atom, ok := term.(ast.Atom)
	if !ok {
		panic(fmt.Errorf("not an atom test case: %v", term))
	}
	return atom
}

func makeDecl(t *testing.T, a ast.Atom, descr []ast.Atom, boundDecls []ast.BoundDecl, incl *ast.InclusionConstraint) ast.Decl {
	t.Helper()