Run ExternalNestedLibraryTest.testExtLibs() in `test_foundry_init_c…

…ode`
runtimeverification · Oct 10, 2024 · 3fa3164 · 3fa3164
1 parent 46c28ba
commit 3fa3164
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/tests/integration/test-data/foundry-init-code b/src/tests/integration/test-data/foundry-init-code
@@ -3,4 +3,5 @@ InitCodeTest.testFail_init()
 ConstructorArgsTest.test_constructor_args()
 ConstructorTest.test_constructor()
 ConstructorTest.testFail_constructor()
-ConstructorTest.run_constructor()
+ConstructorTest.run_constructor()
+ExternalNestedLibraryTest.testExtLibs()