Enhance cancellation handling in CheckModel tests

Updated the CheckModel cancellation tests to create temporary TLA+ and CFG files dynamically, improving isolation and reliability. The tests now ensure proper cleanup of temporary files and diagnostic collections after execution. This change enhances the robustness of the test suite by avoiding potential conflicts with existing files and ensuring a clean testing environment.

Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>

Author: lemmy

tests/suite/commands/checkModelCancel.test.ts

@@ -1,8 +1,11 @@
 import * as assert from 'assert';
+import * as fs from 'fs';
+import * as os from 'os';
 import * as path from 'path';
 import * as vscode from 'vscode';
 
 suite('CheckModel cancellation handling', () => {
+    const fsp = fs.promises;
     const tla2toolsPath = require.resolve(path.resolve(__dirname, '../../../src/tla2tools'));
     const checkModelPath = require.resolve(path.resolve(__dirname, '../../../src/commands/checkModel'));
     const modelPath = require.resolve(path.resolve(__dirname, '../../../src/model/check'));
@@ -71,12 +74,21 @@ suite('CheckModel cancellation handling', () => {
         const { doCheckModel, CTX_TLC_CAN_RUN_AGAIN, CTX_TLC_RUNNING } = await import(checkModelPath);
         const { SpecFiles } = await import(modelPath);
 
-        const specFiles = new SpecFiles('Dummy.tla', 'Dummy.cfg');
-        const diagnostics = vscode.languages.createDiagnosticCollection('cancel-test');
+        const tmpDir = await fsp.mkdtemp(path.join(os.tmpdir(), 'check-model-cancel-'));
+        const tlaFile = path.join(tmpDir, 'Dummy.tla');
+        const cfgFile = path.join(tmpDir, 'Dummy.cfg');
+        await fsp.writeFile(tlaFile, '---- MODULE Dummy ----\n====\n');
+        await fsp.writeFile(cfgFile, 'SPECIFICATION Spec\n');
 
-        await doCheckModel(specFiles, true, {} as vscode.ExtensionContext, diagnostics, true);
+        const specFiles = new SpecFiles(tlaFile, cfgFile);
+        const diagnostics = vscode.languages.createDiagnosticCollection('cancel-test');
 
-        diagnostics.dispose();
+        try {
+            await doCheckModel(specFiles, true, {} as vscode.ExtensionContext, diagnostics, true);
+        } finally {
+            diagnostics.dispose();
+            await fsp.rm(tmpDir, { recursive: true, force: true });
+        }
 
         assert.strictEqual(
             contextValues[CTX_TLC_RUNNING],