fix bug in unit test for stack alignment analysis (#325)

19e7a9ef · van den Bosch · GitHub · 170f44b1 · 19e7a9ef
Unverified Commit 19e7a9ef authored May 23, 2022 by van den Bosch Committed by GitHub May 23, 2022
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

tests.rs ...er_lib/src/analysis/stack_alignment_substitution/tests.rs +1 -1

No files found.
--- a/src/cwe_checker_lib/src/analysis/stack_alignment_substitution/tests.rs
+++ b/src/cwe_checker_lib/src/analysis/stack_alignment_substitution/tests.rs
@@ -358,7 +358,7 @@ fn supports_commutative_and() {
        },
    );
-    let mut proj = setup(vec![bitmask_and_var], true);
+    let mut proj = setup(vec![bitmask_and_var, var_and_bitmask], true);
    let log = substitute_and_on_stackpointer(proj.borrow_mut());
    assert!(log.is_none());