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
Next revision		 Previous revision
codebase:testing [2025/03/25 09:07] – 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.1742893630.txt.gz
  • Last modified: 2025/03/25 09:07
  • by fponzi