Tweaks suggested by jaisnan

src/extension.ts

@@ -34,14 +34,15 @@ export async function activate(context: vscode.ExtensionContext): Promise<void>
 	if (!checkCargoExist()) {
 		showErrorWithReportIssueButton('Cannot find Cargo.toml to run Cargo Kani on crate');
 	}
-	getKaniPath('cargo-kani').catch((error) => {
+	try {
+		// GET binary path
+		const kaniBinaryPath = await getKaniPath('cargo-kani');
+	} catch (error) {
 		showErrorWithReportIssueButton(
-			'The Kani executable was not found in PATH. Please install it using the instructions at https://model-checking.github.io/kani/install-guide.html and/or make sure it is in your PATH.',
+			'The Kani executable was not found in PATH. Please install it using the instructions         at https://model-checking.github.io/kani/install-guide.html and/or make sure it is in your PATH.',
 		);
-		return new Promise((resolve, reject) => {
-			reject(new Error(`Failed to launch Kani extension`));
-		});
-	});
+		return;
+	}
 
 	const controller: vscode.TestController = vscode.tests.createTestController(
 		'Kani Proofs',