Revert "wip: temporary mitigation for halmos bug"

This reverts commit c2b143c.
farcasterxyz · Aug 16, 2023 · f742034 · f742034
1 parent c2b143c
commit f742034
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/test/KeyRegistry/KeyRegistry.symbolic.t.sol b/test/KeyRegistry/KeyRegistry.symbolic.t.sol
@@ -75,11 +75,9 @@ contract KeyRegistrySymTest is SymTest, Test {
     // Verify the KeyRegistry invariants
     function check_Invariants(bytes4 selector, address caller) public {
         // Additional setup to cover various input states
-        /* TODO: uncomment after halmos bug is fixed
         if (svm.createBool("migrateKeys?")) {
             keyRegistry.migrateKeys();
         }
-        */
         if (svm.createBool("disableTrustedOnly?")) {
             idRegistry.disableTrustedOnly();
         }