Move invariant test-related interfaces to invariant.types.ts

Author: BowTiedRadone

invariant.ts

@@ -15,7 +15,11 @@ import fc from "fast-check";
 import { DialerRegistry, PostDialerError, PreDialerError } from "./dialer";
 import { reporter } from "./heatstroke";
 import type { Statistics } from "./heatstroke.types";
-import type { LocalContext } from "./invariant.types";
+import type {
+  InvariantTestConfig,
+  InvariantTestContext,
+  LocalContext,
+} from "./invariant.types";
 import { strategyFor } from "./lib";
 import {
   getFailureFilePath,
@@ -276,32 +280,6 @@ export const checkInvariants = async (
   }
 };
 
-/**
- * The configuration for an invariant test.
- */
-interface InvariantTestConfig {
-  simnet: Simnet;
-  targetContractName: string;
-  rendezvousContractId: string;
-  runs: number | undefined;
-  seed: number | undefined;
-  bail: boolean;
-  dial: string | undefined;
-  radio: EventEmitter;
-  eligibleAccounts: Map<string, string>;
-  allAddresses: string[];
-}
-
-/**
- * The context to run an invariant test with.
- */
-interface InvariantTestContext {
-  /** SUT functions for the target contract. */
-  functions: EnrichedContractInterfaceFunction[];
-  /** Invariant functions for the target contract. */
-  invariants: EnrichedContractInterfaceFunction[];
-}
-
 /**
  * Runs an invariant test.
  * @param config The union of the configuration and context for the invariant

invariant.types.ts

@@ -1,3 +1,9 @@
+import type { EventEmitter } from "node:events";
+
+import type { Simnet } from "@stacks/clarinet-sdk";
+
+import type { EnrichedContractInterfaceFunction } from "./shared.types";
+
 type ContractId = string;
 
 type SutFunctionName = string;
@@ -10,3 +16,29 @@ type SutFunctionName = string;
  * - The value is the count of times the SUT function has been invoked.
  */
 export type LocalContext = Record<ContractId, Record<SutFunctionName, number>>;
+
+/**
+ * The configuration for an invariant test.
+ */
+export interface InvariantTestConfig {
+  simnet: Simnet;
+  targetContractName: string;
+  rendezvousContractId: string;
+  runs: number | undefined;
+  seed: number | undefined;
+  bail: boolean;
+  dial: string | undefined;
+  radio: EventEmitter;
+  eligibleAccounts: Map<string, string>;
+  allAddresses: string[];
+}
+
+/**
+ * The context to run an invariant test with.
+ */
+export interface InvariantTestContext {
+  /** SUT functions for the target contract. */
+  functions: EnrichedContractInterfaceFunction[];
+  /** Invariant functions for the target contract. */
+  invariants: EnrichedContractInterfaceFunction[];
+}