Fix visualization process

src/ui/reportView/callReport.ts

@@ -7,7 +7,8 @@ import process = require('process');
 import * as vscode from 'vscode';
 
 import { KaniArguments, KaniConstants } from '../../constants';
-import { checkCargoExist, getRootDir } from '../../utils';
+import { getKaniPath } from '../../model/kaniRunner';
+import { CommandArgs, checkCargoExist, getRootDir, splitCommand } from '../../utils';
 
 const { execFile } = require('child_process');
 const { promisify } = require('util');
@@ -66,7 +67,7 @@ export async function callViewerReport(
 			harnessType,
 		);
 		const crateURI: string = getRootDir();
-		finalCommand = `cd ${crateURI} && ${responseObject.finalCommand}`;
+		finalCommand = `${responseObject.finalCommand}`;
 		searchDir = responseObject.searchDir;
 	}
 
@@ -160,17 +161,31 @@ function createCommand(
  */
 async function runVisualizeCommand(command: string, harnessName: string): Promise<reportMetadata> {
 	try {
+		// Get the full resolved path for the root directory of the crate
+		const directory = path.resolve(getRootDir());
+		const commmandSplit: CommandArgs = splitCommand(command);
+
+		// Get cargo command and args for the command to be executed
+		const args = commmandSplit.args;
+
+		const options = {
+			shell: false,
+			cwd: directory,
+		};
+
+		const kaniBinaryPath = await getKaniPath('cargo-kani');
 		vscode.window.showInformationMessage(`Generating viewer report for ${harnessName}`);
 		vscode.window.showWarningMessage(warningMessage);
-		const { stdout, stderr } = await execPromise(command);
+		const { stdout, stderr } = await execPromise(kaniBinaryPath, args, options);
 		const parseResult = await parseReportOutput(stdout);
 		if (parseResult === undefined) {
 			return { statusCode: 2, result: undefined, error: stderr };
 		}
 		console.error(`stderr: ${stderr}`);
 
 		return { statusCode: 0, result: parseResult };
-	} catch (error) {
+	}
+	catch (error) {
 		console.error(`exec error: ${error}`);
 		return { statusCode: 1, result: undefined, error: error as string };
 	}