author | paulson <lp15@cam.ac.uk> |
Fri, 04 Jul 2025 15:08:09 +0100 | |
changeset 82803 | 982e7128ce0f |
parent 75126 | da1108a6d249 |
permissions | -rw-r--r-- |
64605 | 1 |
// |
2 |
// PLEASE DO NOT MODIFY / DELETE UNLESS YOU KNOW WHAT YOU ARE DOING |
|
3 |
// |
|
4 |
// This file is providing the test runner to use when running extension tests. |
|
5 |
// By default the test runner in use is Mocha based. |
|
6 |
// |
|
7 |
// You can provide your own test runner if you want to override it by exporting |
|
8 |
// a function run(testRoot: string, clb: (error:Error) => void) that the extension |
|
9 |
// host can call to run the tests. The test runner is expected to use console.log |
|
10 |
// to report the results back to the caller. When the tests are finished, return |
|
11 |
// a possible error to the callback or null if none. |
|
12 |
||
13 |
var testRunner = require('vscode/lib/testrunner'); |
|
14 |
||
15 |
// You can directly control Mocha options by uncommenting the following lines |
|
16 |
// See https://github.com/mochajs/mocha/wiki/Using-mocha-programmatically#set-options for more info |
|
17 |
testRunner.configure({ |
|
75126
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
64605
diff
changeset
|
18 |
ui: 'tdd', // the TDD UI is being used in extension.test.ts (suite, test, etc.) |
64605 | 19 |
useColors: true // colored output from test results |
20 |
}); |
|
21 |
||
22 |
module.exports = testRunner; |