Fix ExternalLibTest.testSum signature

runtimeverification · Dec 16, 2024 · 490164d · 490164d
1 parent 8bb6b7d
commit 490164d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/tests/integration/test-data/foundry-prove-all b/src/tests/integration/test-data/foundry-prove-all
@@ -115,7 +115,7 @@ ExpectRevertTest.testFail_ExpectRevert_failAndSuccess()
 ExpectRevertTest.testFail_expectRevert_false()
 ExpectRevertTest.testFail_expectRevert_multipleReverts()
 ExternalLibTest.testSquare(uint256)
-ExternalLibTest.testSum(uint256,uint256)
+ExternalLibTest.testSum()
 FeeTest.test_fee_setup()
 FfiTest.testffi()
 FfiTest.testFFIFOO()

diff --git a/src/tests/integration/test-data/foundry-prove-skip-legacy b/src/tests/integration/test-data/foundry-prove-skip-legacy
@@ -103,7 +103,7 @@ ExpectRevertTest.testFail_ExpectRevert_failAndSuccess()
 ExpectRevertTest.testFail_expectRevert_false()
 ExpectRevertTest.testFail_expectRevert_multipleReverts()
 ExternalLibTest.testSquare(uint256)
-ExternalLibTest.testSum(uint256,uint256)
+ExternalLibTest.testSum()
 FeeTest.test_fee_setup()
 FfiTest.testffi()
 FfiTest.testFFIFOO()