Perform actual tests
| 1179 | LDSBLatin(std::string label) : Test::Base("LDSB::" + label) {} |
| 1180 | /// Perform actual tests |
| 1181 | bool run(void) { |
| 1182 | Latin *s = new Latin(); |
| 1183 | DFS<Latin> e(s); |
| 1184 | bool r = check(e, Latin::expectedSolutions()); |
| 1185 | delete s; |
| 1186 | return r; |
| 1187 | } |
| 1188 | }; |
| 1189 | |
| 1190 | /* This test should fail if the recomputation-handling does not work |