Added stack tracing option and removed endian-ness option.

sireum · Feb 28, 2025 · 003e401 · 003e401
1 parent 05547e1
commit 003e401
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/shared/src/main/scala/org/sireum/anvil/Anvil.scala b/shared/src/main/scala/org/sireum/anvil/Anvil.scala
@@ -43,7 +43,7 @@ object Anvil {
                          val maxArraySize: Z,
                          val customArraySizes: HashMap[AST.Typed, Z],
                          val customConstants: HashMap[QName, AST.Exp],
-                         val bigEndian: B,
+                         val stackTrace: B,
                          val maxExpDepth: Z,
                          val runtimeCheck: B,
                          val assertion: B,
@@ -53,7 +53,7 @@ object Anvil {
 
   object Config {
     @strictpure def empty(projectName: String): Config =
-      Config(projectName, 512 * 1024, 64, 100, 100, HashMap.empty, HashMap.empty, F, 1, T, T, 4 * 1024)
+      Config(projectName, 512 * 1024, 64, 100, 100, HashMap.empty, HashMap.empty, T, 1, T, T, 4 * 1024)
   }
 
   @record class TempCollector(var r: HashSSet[Z]) extends AST.MIRTransformer {

diff --git a/shared/src/main/scala/org/sireum/anvil/cli.scala b/shared/src/main/scala/org/sireum/anvil/cli.scala
@@ -54,15 +54,15 @@ object cli {
       Opt(name = "runtimeCheck", longKey = "runtime-check", shortKey = Some('r'),
         tpe = Type.Flag(default = F),
         description = "Enable implicit runtime assertion checking"),
+      Opt(name = "stackTrace", longKey = "stack-trace", shortKey = Some('t'),
+        tpe = Type.Flag(default = F),
+        description = "Enable call stack tracing"),
       Opt(name = "assertion", longKey = "assertion", shortKey = Some('a'),
         tpe = Type.Flag(default = F),
         description = "Enable assertion checking"),
       Opt(name = "printSize", longKey = "print", shortKey = Some('p'),
         tpe = Type.NumFlag(default = 0, min = Some(4), max = None()),
         description = "Printing console buffer size in kilobytes"),
-      Opt(name = "big", longKey = "big", shortKey = None(),
-        tpe = Type.Flag(default = F),
-        description = "Use big-endian byte encoding instead of little-endian encoding"),
       Opt(name = "output", longKey = "output-dir", shortKey = Some('o'),
         tpe = Type.Path(F, Some("out")),
         description = "Output directory synthesized files"),