anthem/tests
2017-06-12 18:27:39 +02:00
..
CMakeLists.txt Enforcing color output when testing for convenience. 2017-06-01 03:08:05 +02:00
main.cpp
TestCompletion.cpp Fixed regression in simplifying predicates with more than one argument. 2017-06-12 18:27:39 +02:00
TestHiddenPredicateElimination.cpp Fixed regression in simplifying predicates with more than one argument. 2017-06-12 18:27:39 +02:00
TestSimplification.cpp Renamed internal variables for clarity. 2017-06-06 01:44:44 +02:00
TestTranslation.cpp Renamed internal variables for clarity. 2017-06-06 01:44:44 +02:00