diff --git a/docs/development/readme.md b/docs/development/readme.md index 9b7de0be3..4e220c162 100644 --- a/docs/development/readme.md +++ b/docs/development/readme.md @@ -119,28 +119,36 @@ Full details can be found [here](../src/test/readme.md). ### Running Tests -The test suites use [ScalaTest](https://www.scalatest.org/), they can be run via. +The test suites use [ScalaTest](https://www.scalatest.org/). + +To run the primary SystemTests suites (SystemTestsBAP and SystemTestsGTIRB) (which require Boogie): ``` -$ mill test +$ mill.test.testOnly 'SystemTests*' ``` -To run a single test suite, for example only the system tests (requires boogie): +To run a single test from a test suite, it can be selected using globbing on the full test class name with the `testOnly` task: ``` -$ mill.test.testOnly SystemTests +$ mill test.testOnly 'SystemTestsBAP' -- -z basic_arrays_read/gcc:BAP ``` -To run single tests in from the test suite, they can be selected using globbing on the full test class name with the `testOnly` task: +To update the expected BASIL output files from the SystemTests results run: ``` -$ mill test.testOnly '*SystemTests*' -- -z basic_arrays_read -z basic_arrays_write +$ mill updateExpected ``` -To update the expected basil output files from the test results run +To run another test suite, just use the name of the class containing the test suite (in this case LiveVarsAnalysisTests): ``` -$ mill updateExpected +$ mill.test.testOnly 'LiveVarsAnalysisTests' +``` + +To list all test suites: + +``` +$ mill.test.testOnly * -- -t '' ``` ## Performance profiling