Commit Graph

4 Commits

Author SHA1 Message Date
Łukasz Osipiuk b01f2fca8f Drop ConfigurePredicateCheckerForLoop 2020-02-04 20:51:14 +01:00
Aleksandra Malinowska d6849e82b6 Simplify equivalence group usage 2020-01-15 19:40:45 +01:00
Maciej Pytel a7fd937112 Remove taints with specific prefix from template node
This is the same functionality as what you get with --ignore-taint
flag, but it doesn't require updating CA config to add a new taint
to ignore.
2020-01-14 13:21:17 +01:00
Łukasz Osipiuk 7f083d2393 Move core/utils.go to separate package and split into multiple files 2019-10-22 14:23:40 +02:00