| 438 | } |
| 439 | |
| 440 | bool |
| 441 | Test::subsumed(const TestSpace& ts) const { |
| 442 | if (!testsubsumed) return true; |
| 443 | if (const_cast<TestSpace&>(ts).propagators() == 0) return true; |
| 444 | if (assignmentType == EXTEND_ASSIGNMENT) return true; |
| 445 | return false; |
| 446 | } |
| 447 | |
| 448 | /// Check the test result and handle failed test |
| 449 | #define CHECK_TEST(T,M) \ |
nothing calls this directly
no test coverage detected