Differences

This shows you the differences between two versions of the page.

--- codebase:testing [2025/03/25 09:08] – fponzi
+++ codebase:testing [2025/09/23 01:06] (current) – [Halt tests when a failure is found] typo fixed: convinient => convenient hfwei
@@ Line 3: / Line 3: @@
 ===== customBuild.xml common commands ====
- * compile: recompiles the production code for project. Required if you changed any code in src folder.
+  * compile: recompiles the production code for project. Required if you changed any code in src folder.
- * compile-test: recompiles the test code for the project. Required if you updated any code test folder.
+  * compile-test: recompiles the test code for the project. Required if you updated any code in test folder.
- * test-set: by using the parameter ''-Dtest.testcases="tlc2/tool/InliningTest*"'' we can specify a single test to run. It also supports regexes.
+  * test-set: by using the parameter ''-Dtest.testcases="tlc2/tool/InliningTest*"'' we can specify a single test to run. It also supports regexes.
 Example:
 <code>
@@ Line 29: / Line 29: @@
 ===== Halt tests when a failure is found =====
-By default the test target will run all the test and report success or failure only at the end. It can be convinient to just stop execution as soon as an error is found, with''%%-Dtest.halt=true%%''.
+By default the test target will run all the test and report success or failure only at the end. It can be convenient to just stop execution as soon as an error is found, with''%%-Dtest.halt=true%%''.
 <code>