update the expected files with merging node

runtimeverification · Nov 21, 2024 · 013dee4 · 013dee4
1 parent bf8eeb2
commit 013dee4
Show file tree

Hide file tree

Showing 9 changed files with 11,637 additions and 5,401 deletions.
diff --git a/src/tests/integration/test-data/foundry-dependency-all b/src/tests/integration/test-data/foundry-dependency-all
@@ -23,3 +23,4 @@ InterfaceTagTest.testInterface()
 ConstructorTest.init
 ImportedContract.init
 StaticCallContract.set(uint256)
+MergeKCFGTest.test_branch_merge(uint256,uint256,bool)