Add integration tests for Create Rocq Model and deps #16
Loading…
Reference in a new issue
No description provided.
Delete branch "add-more-tests"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
fixes #12
@ -0,0 +81,4 @@// directory of the open file. `clightgen` itself need not be// installed for this to hold.const expected = `cd ${path.dirname(document.fileName)} && clightgen -normalize model.c`;assert.strictEqual(execution.commandLine.value, expected);Jeg synes det er okay at vi bare tjekker at model.v eksisterer bagefter her og ellers fejler testen. Medmindre det er for besværligt at gøre clightgen også tilgængelig i CI. synes ikke det er worth it at lave en "fake" clightgen cli
Kigger på at installere clightgen i CI
.. i en fremtidig branch
@ -0,0 +42,4 @@await vscode.commands.executeCommand(CREATE_ROCQ_MODEL_COMMAND_ID);// The handler is synchronous; give the terminal event a chance to// fire before asserting that no terminal was created.await delay(500);test might give success for the wrong reason when the terminal doesn't support shell integration (that introduces a delay of 3 sec)
OK, fixed by providing a fake model handler and listening on vscode events rather than waiting for a magic amount of time
80ffcac50e1f8aad9302