viper data collection changes

viperproject · Mar 24, 2024 · 73bc773 · 73bc773
2 parents edac923 + efdbce0
commit 73bc773
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/src/main/scala/viper/gobra/Gobra.scala b/src/main/scala/viper/gobra/Gobra.scala
@@ -27,6 +27,8 @@ import viper.gobra.translator.Translator
 import viper.gobra.util.Violation.{KnownZ3BugException, LogicException, UglyErrorMessage}
 import viper.gobra.util.{DefaultGobraExecutionContext, GobraExecutionContext}
 import viper.silicon.BuildInfo
+import viper.silver.ast.pretty.FastPrettyPrinter
+import viper.silver.utility.ManualProgramSubmitter
 import viper.silver.{ast => vpr}
 import viper.silver.ast.pretty.FastPrettyPrinter
 import viper.silver.utility.ManualProgramSubmitter
@@ -110,9 +112,8 @@ trait GoVerifier extends StrictLogging {
           warnings.foreach(w => logger.debug(w))
 
           submitters.get(pkgId).foreach(s => {
-              s.setSuccess(result == VerifierResult.Success)
-              s.submit()
-            }
+            s.setSuccess(result == VerifierResult.Success)
+            s.submit()}
           )
           submitters = submitters.removed(pkgId)
 

diff --git a/src/main/scala/viper/gobra/frontend/Config.scala b/src/main/scala/viper/gobra/frontend/Config.scala
@@ -77,6 +77,7 @@ object ConfigDefaults {
   val DefaultDisableCheckTerminationPureFns: Boolean = false
   val DefaultUnsafeWildcardOptimization: Boolean = false
   val DefaultEnableMoreJoins: Boolean = false
+  val DefaultSubmitForEvaluation = false
 }
 
 // More-complete exhale modes
@@ -777,7 +778,6 @@ class ScallopGobraConfig(arguments: Seq[String], isInputOptional: Boolean = fals
     noshort = true
   )
 
-
   /**
     * Exception handling
     */