From f922cada95d91c7a5bcc6334c6d333445bd6cc3f Mon Sep 17 00:00:00 2001
From: karmacoma <karma@coma.lol>
Date: Thu, 13 Feb 2025 15:07:01 -0800
Subject: [PATCH] update tests/expected/simple.json

forgot to run

    halmos --root examples/simple --minimal-json-output --json-output tests/expected/simple.json
---
 tests/expected/simple.json | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/tests/expected/simple.json b/tests/expected/simple.json
index d88116fb..fbea880a 100644
--- a/tests/expected/simple.json
+++ b/tests/expected/simple.json
@@ -2,6 +2,15 @@
     "exitcode": 1,
     "test_results": {
         "test/BadElections.t.sol:BadElectionsTest": [
+            {
+                "name": "check_canFindCompactSignatureFromOriginal(uint256,bool,address)",
+                "exitcode": 1,
+                "num_models": 1,
+                "models": null,
+                "num_paths": null,
+                "time": null,
+                "num_bounded_loops": null
+            },
             {
                 "name": "check_canNotVoteTwice(uint256)",
                 "exitcode": 1,