WIP: Hardcoded trait reference work in property testing

stacks-network · Jan 16, 2025 · fbbb156 · fbbb156
1 parent c7871e0
commit fbbb156
Show file tree

Hide file tree

Showing 8 changed files with 1,621 additions and 384 deletions.
diff --git a/app.ts b/app.ts
@@ -2,7 +2,7 @@
 import { join } from "path";
 import { EventEmitter } from "events";
 import { checkProperties } from "./property";
-import { checkInvariants } from "./invariant";
+// import { checkInvariants } from "./invariant";
 import {
   getContractNameFromContractId,
   getFunctionsFromContractInterfaces,
@@ -133,19 +133,19 @@ export async function main() {
   // If "invariant", call `checkInvariants` to verify contract invariants.
   // If "test", call `checkProperties` for property-based testing.
   switch (type) {
-    case "invariant": {
-      checkInvariants(
-        simnet,
-        sutContractName,
-        rendezvousList,
-        rendezvousAllFunctions,
-        seed,
-        path,
-        runs,
-        radio
-      );
-      break;
-    }
+    // case "invariant": {
+    //   checkInvariants(
+    //     simnet,
+    //     sutContractName,
+    //     rendezvousList,
+    //     rendezvousAllFunctions,
+    //     seed,
+    //     path,
+    //     runs,
+    //     radio
+    //   );
+    //   break;
+    // }
 
     case "test": {
       checkProperties(