Add CSE tests with prank, expectRevert

Author: palinatolmach

src/tests/integration/test-data/foundry-dependency-all

@@ -2,6 +2,8 @@ AddConst.applyOp(uint256)
 ArithmeticCallTest.test_double_add(uint256,uint256)
 ArithmeticCallTest.test_double_add_double_sub(uint256,uint256)
 ArithmeticCallTest.test_double_add_sub_external(uint256,uint256,uint256)
+ArithmeticCallTest.test_double_add_sub_external_revert(uint256,uint256,uint256)
+ArithmeticCallTest.test_double_add_sub_external_prank(uint256,uint256,uint256)
 ArithmeticContract.add(uint256,uint256)
 ArithmeticContract.add_sub_external(uint256,uint256,uint256)
 CallableStorageContract.str()

src/tests/integration/test-data/foundry/test/ArithmeticCall.t.sol

@@ -30,4 +30,22 @@ contract ArithmeticCallTest is Test {
         a = arith.add_sub_external(a, y, z);
         assert(a > x);
     }
+
+    function test_double_add_sub_external_revert(uint x, uint y, uint z) external {
+        vm.assume(x == type(uint256).max);
+        vm.assume(y > 0);
+
+        // the call should revert due to overflow in `add`
+        vm.expectRevert(); 
+        uint a = arith.add_sub_external(x, y, z);
+        assert(a > x);
+    }
+
+    function test_double_add_sub_external_prank(uint x, uint y, uint z) external {
+        address prankCaller = address(0xBEEF);
+    
+        vm.prank(prankCaller);
+        uint a = arith.add_sub_external(x, y, z);
+        assert(a > x);
+    }
 }