Function makeRulesMap

analysis/validation_test.go:554–560

(clauses []ast.Clause)

}

func makeRulesMap(clauses []ast.Clause) map[ast.PredicateSym][]ast.Clause {
	res := make(map[ast.PredicateSym][]ast.Clause)
	for _, clause := range clauses {
		res[clause.Head.Predicate] = append(res[clause.Head.Predicate], clause)
	}
	return res
}

type boundsTestCase struct {
	programInfo ProgramInfo