diff options
Diffstat (limited to 'test/unit/theory/theory_black.h')
-rw-r--r-- | test/unit/theory/theory_black.h | 31 |
1 files changed, 4 insertions, 27 deletions
diff --git a/test/unit/theory/theory_black.h b/test/unit/theory/theory_black.h index 76385219d..a737772ed 100644 --- a/test/unit/theory/theory_black.h +++ b/test/unit/theory/theory_black.h @@ -181,38 +181,15 @@ public: } void testEffort(){ - Theory::Effort m = Theory::MIN_EFFORT; - Theory::Effort q = Theory::QUICK_CHECK; - Theory::Effort s = Theory::STANDARD; - Theory::Effort f = Theory::FULL_EFFORT; - - TS_ASSERT( Theory::minEffortOnly(m)); - TS_ASSERT(!Theory::minEffortOnly(q)); - TS_ASSERT(!Theory::minEffortOnly(s)); - TS_ASSERT(!Theory::minEffortOnly(f)); - - TS_ASSERT(!Theory::quickCheckOnly(m)); - TS_ASSERT( Theory::quickCheckOnly(q)); - TS_ASSERT(!Theory::quickCheckOnly(s)); - TS_ASSERT(!Theory::quickCheckOnly(f)); - - TS_ASSERT(!Theory::standardEffortOnly(m)); - TS_ASSERT(!Theory::standardEffortOnly(q)); + Theory::Effort s = Theory::EFFORT_STANDARD; + Theory::Effort f = Theory::EFFORT_FULL; + TS_ASSERT( Theory::standardEffortOnly(s)); TS_ASSERT(!Theory::standardEffortOnly(f)); - TS_ASSERT(!Theory::fullEffort(m)); - TS_ASSERT(!Theory::fullEffort(q)); TS_ASSERT(!Theory::fullEffort(s)); TS_ASSERT( Theory::fullEffort(f)); - TS_ASSERT(!Theory::quickCheckOrMore(m)); - TS_ASSERT( Theory::quickCheckOrMore(q)); - TS_ASSERT( Theory::quickCheckOrMore(s)); - TS_ASSERT( Theory::quickCheckOrMore(f)); - - TS_ASSERT(!Theory::standardEffortOrMore(m)); - TS_ASSERT(!Theory::standardEffortOrMore(q)); TS_ASSERT( Theory::standardEffortOrMore(s)); TS_ASSERT( Theory::standardEffortOrMore(f)); } @@ -225,7 +202,7 @@ public: TS_ASSERT(!d_dummy->doneWrapper()); - d_dummy->check(Theory::FULL_EFFORT); + d_dummy->check(Theory::EFFORT_FULL); TS_ASSERT(d_dummy->doneWrapper()); } |