From fdc43890d05b88035cd4e81b402e88e75610511d Mon Sep 17 00:00:00 2001
From: Jimmy <jinghui@wayne.edu>
Date: Tue, 3 Oct 2023 03:49:31 -0500
Subject: [PATCH] fix benchmark (#2924)

---
 benchmarks/Neo.Benchmarks/Benchmarks.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/benchmarks/Neo.Benchmarks/Benchmarks.cs b/benchmarks/Neo.Benchmarks/Benchmarks.cs
index 50a256e372..fa524c26c7 100644
--- a/benchmarks/Neo.Benchmarks/Benchmarks.cs
+++ b/benchmarks/Neo.Benchmarks/Benchmarks.cs
@@ -62,7 +62,7 @@ private static void Run(string name, string poc)
         Stopwatch stopwatch = Stopwatch.StartNew();
         engine.Execute();
         stopwatch.Stop();
-        Debug.Assert(engine.State == VMState.HALT);
+        Debug.Assert(engine.State == VMState.FAULT);
         Console.WriteLine($"Benchmark: {name},\tTime: {stopwatch.Elapsed}");
     }
 }