diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/unit/util/integer_black.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/unit/util/integer_black.h b/test/unit/util/integer_black.h index 48f32a307..de5669c11 100644 --- a/test/unit/util/integer_black.h +++ b/test/unit/util/integer_black.h @@ -24,6 +24,7 @@ using namespace CVC4; using namespace std; const char* largeVal = "4547897890548754897897897897890789078907890"; +const char* lotsOfLeadingZeroes = "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001"; class IntegerBlack : public CxxTest::TestSuite { @@ -462,4 +463,11 @@ public: TS_ASSERT_EQUALS( r, Integer(-1)); } + + void testLeadingZeroes() { + string leadingZeroes(lotsOfLeadingZeroes); + Integer one(1u); + Integer one_from_string(leadingZeroes,2); + TS_ASSERT_EQUALS(one, one_from_string); + } }; |