From 88f41494a0b4a0a45c390a4d90dac2c0ac3949f2 Mon Sep 17 00:00:00 2001
From: Stevengre <zhaojianhong96@gmail.com>
Date: Tue, 29 Oct 2024 15:57:54 +0800
Subject: [PATCH] delete test

---
 .../test-data/foundry/src/cse/Branches.sol         | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100644 src/tests/integration/test-data/foundry/src/cse/Branches.sol

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