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 [2024/10/18 20:19] – fponzicodebase:testing [2025/03/25 10:49] (current) – fponzi
Line 1: Line 1:
 ====== Building and running tests ====== ====== Building and running tests ======
 You will need ant build system. ''customBuild.xml'' supports different parameters to tune the tests. They can also be combined. You will need ant build system. ''customBuild.xml'' supports different parameters to tune the tests. They can also be combined.
 +
 +===== customBuild.xml common commands ====
 +  * 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.
 +  * 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>
 +ant -f customBuild.xml compile compile-test test-set -Dtest.testcases="tlc2/tool/Github1109Test.java"
 +</code>
  
 ===== Running a test with a debugger ===== ===== Running a test with a debugger =====
  • codebase/testing.1729282780.txt.gz
  • Last modified: 2024/10/18 20:19
  • by fponzi