From d9ed9271dc7ba723122b429a7e26fdb6b20b9113 Mon Sep 17 00:00:00 2001 From: jaisnan Date: Fri, 8 Sep 2023 12:09:39 -0400 Subject: [PATCH 1/2] Add error messaging to user when Kani crashes during coverage --- src/ui/coverage/coverageInfo.ts | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/src/ui/coverage/coverageInfo.ts b/src/ui/coverage/coverageInfo.ts index 87ae7be..ca9caf8 100644 --- a/src/ui/coverage/coverageInfo.ts +++ b/src/ui/coverage/coverageInfo.ts @@ -84,7 +84,13 @@ async function runCoverageCommand(command: string, harnessName: string): Promise vscode.window.showInformationMessage(`Generating coverage for ${harnessName}`); return new Promise((resolve, _reject) => { - execFile(kaniBinaryPath, args, options, async (_error: any, stdout: any, _stderr: any) => { + execFile(kaniBinaryPath, args, options, async (error: any, stdout: any, stderr: any) => { + + // Check for compilation errors from Kani + if(stderr && stderr.includes('error: could not compile')) { + vscode.window.showInformationMessage(`Kani had errors during compilation to following errors: \n${stdout}`); + } + if (stdout) { const parseResult = await parseKaniCoverageOutput(stdout); resolve({ statusCode: 0, result: parseResult }); From ebbece4631676b522c06e1ea3ecef6f98dd6c8ef Mon Sep 17 00:00:00 2001 From: jaisnan Date: Fri, 8 Sep 2023 13:26:15 -0400 Subject: [PATCH 2/2] Fix CI error --- .github/workflows/format-check.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/format-check.yml b/.github/workflows/format-check.yml index ab9553e..90dc00d 100644 --- a/.github/workflows/format-check.yml +++ b/.github/workflows/format-check.yml @@ -20,7 +20,7 @@ jobs: - name: Check TS linting run: | - npm install -g npm@latest + npm install -g npm@9.8 npm install npm run lint