diff options
Diffstat (limited to 'test/unit/proof')
-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() |