diff --git a/src/tests/integration/test-data/foundry/src/cse/Branches.sol b/src/tests/integration/test-data/foundry/src/cse/Branches.sol
deleted file mode 100644
index 9d4ec9333..000000000
--- a/src/tests/integration/test-data/foundry/src/cse/Branches.sol
+++ /dev/null
@@ -1,14 +0,0 @@
-// SPDX-License-Identifier: UNLICENSED
-pragma solidity =0.8.13;
-
-
-// CSE challenge: multiple branches that slow down the verification
-contract Branches{
-    function applyOp(uint256 x, uint256 y, bool z) public returns (uint256) {
-      if (z) {
-        return x + y;
-      } else {
-        return x * y;
-      }
-    }
-}
\ No newline at end of file