Function analyzeAndEvalProgram

engine/seminaivebottomup_test.go:93–96

(t *testing.T, clauses []ast.Clause, store factstore.SimpleInMemoryStore, options ...EvalOption)

}

func analyzeAndEvalProgram(t *testing.T, clauses []ast.Clause, store factstore.SimpleInMemoryStore, options ...EvalOption) error {
	t.Helper()
	return analyzeAndEvalProgramWithDecls(t, clauses, nil, store, options...)
}

// analyzeAndEvalProgram analyzes and evaluates a given program on the given facts, modifying the
// fact store in the process.