fixup! Set higher verbosity for tests as needed

model-checking · Jun 20, 2024 · bb373f2 · bb373f2
1 parent 445f363
commit bb373f2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/cargo-kani/simple-kissat/Cargo.toml b/tests/cargo-kani/simple-kissat/Cargo.toml
@@ -12,4 +12,4 @@ description = "Tests that Kani can be invoked with Kissat"
 
 [kani.flags]
 enable-unstable = true
-cbmc-args = ["--external-sat-solver", "kissat" ]
+cbmc-args = ["--external-sat-solver", "kissat", "--verbosity", "9" ]