diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-02-03 09:42:07 -0800 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2019-02-03 09:42:07 -0800 |
commit | 6f5dead04a864bc64203095aaf3bd6a57d47b065 (patch) | |
tree | 0438a47154017e22c2f807d789eef08a3cef2fd1 /test/unit/proof/drat_proof_black.h | |
parent | 61b089fa83ee54e379abb3d85f0b5c934c47e2b5 (diff) | |
parent | d0c9efb093bde9955f8ae5c6361183cd14038da5 (diff) |
Merge branch 'ctnRew' into cav2019strings
Diffstat (limited to 'test/unit/proof/drat_proof_black.h')
-rw-r--r-- | test/unit/proof/drat_proof_black.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/unit/proof/drat_proof_black.h b/test/unit/proof/drat_proof_black.h index 63c8839b9..946597bea 100644 --- a/test/unit/proof/drat_proof_black.h +++ b/test/unit/proof/drat_proof_black.h @@ -81,19 +81,19 @@ void DratProofBlack::testParseLiteralIsTooBig() { std::string input("a\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x7f\x00", 14); - TS_ASSERT_THROWS(DratProof::fromBinary(input), InvalidDratProofException); + TS_ASSERT_THROWS(DratProof::fromBinary(input), InvalidDratProofException&); } void DratProofBlack::testParseLiteralOverflow() { std::string input("a\x80", 2); - TS_ASSERT_THROWS(DratProof::fromBinary(input), InvalidDratProofException); + TS_ASSERT_THROWS(DratProof::fromBinary(input), InvalidDratProofException&); } void DratProofBlack::testParseClauseOverflow() { std::string input("a\x80\x01", 3); - TS_ASSERT_THROWS(DratProof::fromBinary(input), InvalidDratProofException); + TS_ASSERT_THROWS(DratProof::fromBinary(input), InvalidDratProofException&); } void DratProofBlack::testParseTwo() |