Updated test config with 1024 bytes for memory and 100 bytes for prin…

…tSize.
sireum · Mar 3, 2025 · 89a2905 · 89a2905
1 parent a622aa5
commit 89a2905
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/jvm/src/test/scala/org/sireum/anvil/AnvilTest.scala b/jvm/src/test/scala/org/sireum/anvil/AnvilTest.scala
@@ -50,7 +50,9 @@ class AnvilTest extends SireumRcSpec {
           }
         }
         (dir / path(0)).removeAll()
-        for (p <- Anvil.synthesize(lang.IRTranslator.createFresh, th2, ISZ(), lastMethod, Anvil.Config.empty(path.mkString("/")), reporter).entries) {
+        var config = Anvil.Config.empty(path.mkString("/"))
+        config = config(memory = 1024, printSize = 100)
+        for (p <- Anvil.synthesize(lang.IRTranslator.createFresh, th2, ISZ(), lastMethod, config, reporter).entries) {
           val f = dir /+ ISZ(path.map(String(_)): _*) /+ p._1
           f.up.mkdirAll()
           f.writeOver(p._2.render)