From f1b6279bfc26f9928da430a9408767eca7c5bf40 Mon Sep 17 00:00:00 2001
From: Daejun Park <daejunpark@gmail.com>
Date: Tue, 26 Mar 2024 12:19:46 -0700
Subject: [PATCH] test: add expected output for new test

---
 tests/expected/simple.json | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/tests/expected/simple.json b/tests/expected/simple.json
index e1e2e1d7..673d8ce0 100644
--- a/tests/expected/simple.json
+++ b/tests/expected/simple.json
@@ -1,6 +1,17 @@
 {
     "exitcode": 1,
     "test_results": {
+        "test/BadElections.t.sol:BadElectionsTest": [
+            {
+                "name": "check_canNotVoteTwice(uint256)",
+                "exitcode": 1,
+                "num_models": 1,
+                "models": null,
+                "num_paths": null,
+                "time": null,
+                "num_bounded_loops": null
+            }
+        ],
         "test/Fork.t.sol:CounterForkTest": [
             {
                 "name": "check_invariant(address)",