From 57c3a64bf89c1bad142f75c0c3d4c8f5ec888827 Mon Sep 17 00:00:00 2001 From: LemonJ <1632798336@qq.com> Date: Mon, 2 Dec 2024 11:19:27 +0800 Subject: [PATCH] updata checker --- rap/src/analysis/senryx/contracts/checker.rs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/rap/src/analysis/senryx/contracts/checker.rs b/rap/src/analysis/senryx/contracts/checker.rs index e26ae21..ba935f8 100644 --- a/rap/src/analysis/senryx/contracts/checker.rs +++ b/rap/src/analysis/senryx/contracts/checker.rs @@ -25,10 +25,10 @@ impl SliceFromRawPartsChecker { map.insert( 0, vec![ - Contract::StateCheck { - op: Op::GE, - state: StateType::AllocatedState(AllocatedState::Alloc), - }, + // Contract::StateCheck { + // op: Op::GE, + // state: StateType::AllocatedState(AllocatedState::Alloc), + // }, Contract::StateCheck { op: Op::GT, state: StateType::AlignState(AlignState::Unaligned),