wip: temporary mitigation for halmos bug

farcasterxyz · Aug 11, 2023 · c2b143c · c2b143c
1 parent ae04294
commit c2b143c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/test/KeyRegistry/KeyRegistry.symbolic.t.sol b/test/KeyRegistry/KeyRegistry.symbolic.t.sol
@@ -75,9 +75,11 @@ 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();
         }