Collect coverage report

citizen.ts

@@ -32,7 +32,10 @@ export const issueFirstClassCitizenship = async (
   // Initialize the simnet, to generate the simnet plan and instance. The empty
   // session will be set up, and contracts will be deployed in the correct
   // order based on the simnet plan a few lines below.
-  const simnet = await initSimnet(manifestPath);
+  const simnet = await initSimnet(manifestPath, false, {
+    trackCosts: false,
+    trackCoverage: true,
+  });
 
   const simnetPlan = yaml.parse(
     readFileSync(join(manifestDir, "deployments", "default.simnet-plan.yaml"), {

heatstroke.ts

@@ -26,13 +26,18 @@
 import { green } from "ansicolor";
 import { EventEmitter } from "events";
 import { getContractNameFromContractId } from "./shared";
+import { Simnet } from "@hirosystems/clarinet-sdk";
 
 export function reporter(
   //@ts-ignore
   runDetails,
   radio: EventEmitter,
-  type: "invariant" | "test"
+  type: "invariant" | "test",
+  simnet: Simnet
 ) {
+  const report = simnet.collectReport(false, "");
+  console.log(report.coverage);
+
   if (runDetails.failed) {
     // Report general run data.
     const r = runDetails.counterexample[0];

invariant.ts

@@ -117,7 +117,7 @@ export const checkInvariants = (
   }
 
   const radioReporter = (runDetails: any) => {
-    reporter(runDetails, radio, "invariant");
+    reporter(runDetails, radio, "invariant", simnet);
   };
 
   fc.assert(

property.ts

@@ -124,7 +124,7 @@ export const checkProperties = (
   }
 
   const radioReporter = (runDetails: any) => {
-    reporter(runDetails, radio, "test");
+    reporter(runDetails, radio, "test", simnet);
   };
 
   fc.assert(