document mapped counterexamples

viperproject · Jul 19, 2021 · b03f80c · b03f80c
1 parent a49fd7a
commit b03f80c
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/main/scala/viper/silver/frontend/SilFrontEndConfig.scala b/src/main/scala/viper/silver/frontend/SilFrontEndConfig.scala
@@ -91,8 +91,9 @@ abstract class SilFrontendConfig(args: Seq[String], private var projectName: Str
   )
 
   val counterexample = opt[String]("counterexample",
-    descr="Return counterexample for errors. Pass 'native' for returning the native model from the backend " +
-      "or 'variables' for returning a model of all local Viper variables.",
+    descr="Return counterexample for errors. Pass 'native' for returning the native model from the backend, " +
+      "'variables' for returning a model of all local Viper variables, or 'mapped' (only available on Silicon) " +
+      "for returning a model with Ref variables resolved to object-like structures.",
     default = None,
     noshort = true
   )