From 2a75fa11bc59b9010db6fd64eaa2f354fe9ac35e Mon Sep 17 00:00:00 2001
From: Roman <zajic@zajic.net>
Date: Fri, 31 Oct 2025 10:28:38 +0800
Subject: [PATCH] fix: change test mode to property

---
 echidna.config.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/echidna.config.yaml b/echidna.config.yaml
index eec3e9e..4098935 100644
--- a/echidna.config.yaml
+++ b/echidna.config.yaml
@@ -1,5 +1,5 @@
 solcArgs: "--via-ir --optimize --optimize-runs 1"
-testMode: assertion
+testMode: property
 testLimit: 100000  # For ~1 hour on strong CPU; adjust
 seqLen: 100  # Sequence length for stateful fuzzing
 shrinkLimit: 5000