feat: Include dafny-reportgenerator as well (#8)

Author: robin-aws

.github/workflows/main.yml

@@ -36,8 +36,19 @@ jobs:
         run: __tests__/verify-dafny.sh ${{ matrix.dafny }}
 
       - name: verify something with dafny
+        if: ${{ !(matrix.dafny != '2.3.0' && matrix.dafny != '3.0.0') }}
         shell: bash
-        run: dafny /compile:0 __tests__/test.dfy 
+        run: dafny /compile:0 __tests__/test.dfy
+
+      - name: verify something with dafny (with verification logging)
+        if: matrix.dafny != '2.3.0' && matrix.dafny != '3.0.0'
+        shell: bash
+        run: dafny /compile:0 __tests__/test.dfy /verificationLogger:csv
+
+      - name: Run the reportgenerator
+        shell: bash
+        # This will find no results if we didn't run with verification logging on above
+        run: dafny-reportgenerator summarize-csv-results --max-resource-count 900000 .
 
   unit-tests:
     name: Run tests

dist/index.js

@@ -6688,6 +6688,7 @@ var __webpack_exports__ = {};
 var exports = __webpack_exports__;
 const core = __nccwpck_require__(2186);
 const tc = __nccwpck_require__(7784);
+const exec = __nccwpck_require__(1514);
 const os = __nccwpck_require__(2037);
 
 (async function () {
@@ -6705,11 +6706,20 @@ const os = __nccwpck_require__(2037);
     const cachedPath = await tc.cacheDir(dir + "/dafny", "dafny", version);
 
     core.addPath(cachedPath);
+
+    // Install related tools.
+    // Hopefully in the future we can install Dafny itself this way as well.
+    // For now the zipped releases are simpler because they include Z3.
+    await installDotnetTool("dafny-reportgenerator", "1.*")
   } catch (error) {
     core.setFailed(error.message);
   }
 })();
 
+async function installDotnetTool(toolName, version) {
+  await exec.exec("dotnet", ["tool", "install", "-g", toolName, "--version", version])
+}
+
 // Export functions for testing
 exports.dafnyURL = dafnyURL;
 exports.getDistribution = getDistribution;

index.js

@@ -1,5 +1,6 @@
 const core = require("@actions/core");
 const tc = require("@actions/tool-cache");
+const exec = require("@actions/exec");
 const os = require("os");
 
 (async function () {
@@ -17,11 +18,20 @@ const os = require("os");
     const cachedPath = await tc.cacheDir(dir + "/dafny", "dafny", version);
 
     core.addPath(cachedPath);
+
+    // Install related tools.
+    // Hopefully in the future we can install Dafny itself this way as well.
+    // For now the zipped releases are simpler because they include Z3.
+    await installDotnetTool("dafny-reportgenerator", "1.*")
   } catch (error) {
     core.setFailed(error.message);
   }
 })();
 
+async function installDotnetTool(toolName, version) {
+  await exec.exec("dotnet", ["tool", "install", "-g", toolName, "--version", version])
+}
+
 // Export functions for testing
 exports.dafnyURL = dafnyURL;
 exports.getDistribution = getDistribution;