Disable termination plugin.

viperproject · Aug 5, 2023 · aa74bb5 · aa74bb5
1 parent 7647727
commit aa74bb5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/prusti-server/src/verification_request.rs b/prusti-server/src/verification_request.rs
@@ -54,6 +54,7 @@ impl ViperBackendConfig {
                 }
 
                 verifier_args.extend(vec![
+                    "--disableTerminationPlugin".to_string(),
                     "--assertTimeout".to_string(),
                     config::assert_timeout().to_string(),
                     "--proverConfigArgs".to_string(),