CSE CI test for Branches.applyOp

runtimeverification · Dec 2, 2024 · bd201f5 · bd201f5
1 parent f3566b6
commit bd201f5
Show file tree

Hide file tree

Showing 2 changed files with 195 additions and 480 deletions.
diff --git a/src/tests/integration/test-data/foundry-dependency-all b/src/tests/integration/test-data/foundry-dependency-all
@@ -24,3 +24,4 @@ ConstructorTest.init
 ImportedContract.init
 StaticCallContract.set(uint256)
 MergeKCFGTest.test_branch_merge(uint256,uint256,bool)
+Branches.applyOp(uint256,uint256,bool)