Added some printing support.

sireum · Mar 4, 2025 · e5930a8 · e5930a8
1 parent 89a2905
commit e5930a8
Show file tree

Hide file tree

Showing 4 changed files with 285 additions and 42 deletions.
diff --git a/jvm/src/test/scala/org/sireum/anvil/AnvilTest.scala b/jvm/src/test/scala/org/sireum/anvil/AnvilTest.scala
@@ -57,6 +57,7 @@ class AnvilTest extends SireumRcSpec {
           f.up.mkdirAll()
           f.writeOver(p._2.render)
         }
+        reporter.printMessages()
         T
       case _ => return F
     }

diff --git a/jvm/src/test/scala/org/sireum/anvil/example/print.sc b/jvm/src/test/scala/org/sireum/anvil/example/print.sc
@@ -0,0 +1,12 @@
+// #Sireum
+import org.sireum._
+
+def printTest(): Unit = {
+  println("Hello world!")
+  val x = 5
+  val c = '≡'
+  val f32 = 0.1f
+  val f64 = 0.3d
+  val s = "abc"
+  println("x = ", x, ", c = ", c, ", f32 = ", f32, ", f64 = ", f64, ", s = ", s)
+}