From 4bfd3fc7c4b220634963fe4a79aa7ab1fe7dd194 Mon Sep 17 00:00:00 2001 From: Enkelmann Date: Fri, 1 Sep 2023 14:41:11 +0200 Subject: [PATCH] update unit tests --- .../src/analysis/expression_propagation/tests.rs | 12 ++---------- 1 file changed, 2 insertions(+), 10 deletions(-) diff --git a/src/cwe_checker_lib/src/analysis/expression_propagation/tests.rs b/src/cwe_checker_lib/src/analysis/expression_propagation/tests.rs index 88d151baf..cdbd128c7 100644 --- a/src/cwe_checker_lib/src/analysis/expression_propagation/tests.rs +++ b/src/cwe_checker_lib/src/analysis/expression_propagation/tests.rs @@ -142,11 +142,7 @@ fn inter_block_propagation() { variable!("X:8"), expr!("-(42:4)").un_op(UnOpType::BoolNegate), ), - Def::assign( - "entry_jmp_def_2", - variable!("Z:8"), - expr!("-(42:4)").un_op(UnOpType::IntNegate), - ) + Def::assign("entry_jmp_def_2", variable!("Z:8"), expr!("42:4"),) ] ) } @@ -290,11 +286,7 @@ fn expressions_inserted() { variable!("X:8"), expr!("-(42:4)").un_op(UnOpType::BoolNegate), ), - Def::assign( - "entry_jmp_def_2", - variable!("Z:8"), - expr!("-(42:4)").un_op(UnOpType::IntNegate) - ) + Def::assign("entry_jmp_def_2", variable!("Z:8"), expr!("42:4")) ] ); assert_eq!(