Compile error

model-checking · Nov 19, 2023 · cb53939 · cb53939
1 parent 564afa9
commit cb53939
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kani-driver/src/call_cbmc.rs b/kani-driver/src/call_cbmc.rs
@@ -327,7 +327,7 @@ impl VerificationResult {
             }
             Err(exit_status) => {
                 let verification_result = console::style("FAILED").red();
-                let explanation = if exit_status == 137 {
+                let explanation = if *exit_status == 137 {
                     "CBMC appears to have run out of memory. You may want to rerun your proof in \
                     an environment with additional memory or use stubbing to reduce the size of the \
                     code the verifier reasons about.\n"