codebase:testing

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
codebase:testing [2025/03/25 09:08] – fponzicodebase:testing [2025/03/25 10:49] (current) – fponzi
Line 3: Line 3:
  
 ===== customBuild.xml common commands ==== ===== 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 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: Example:
 <code> <code>
  • codebase/testing.txt
  • Last modified: 2025/03/25 10:49
  • by fponzi