Revision a3c5526d
Added by Hamza Bourbouh over 8 years ago
| regression_tests/README | ||
|---|---|---|
| 13 | 13 |
>ctest |
| 14 | 14 |
|
| 15 | 15 |
If you want to specify witch tests to run you can choose to run test |
| 16 |
matching regular expressions: |
|
| 16 |
matching regular expressions: |
|
| 17 |
>ctest -R EXP |
|
| 17 | 18 |
|
| 18 |
run all tests have Stateflow in their names. |
|
| 19 |
> ctest -R Stateflow |
|
| 20 | 19 |
|
| 20 |
The existing targets are: |
|
| 21 |
make test //to run all tests |
|
| 21 | 22 |
|
| 22 |
|
|
| 23 |
To report test to CDash |
|
| 24 |
>ctest -D Experimental |
|
| 23 |
to run a folder of tests for example Kind_fmcad08/large/src/TIMEOUT: |
|
| 24 |
make Kind_fmcad08_large_TIMEOUT |
|
| 25 |
make Kind_fmcad08_large_SAFE |
|
| 26 |
make Kind_fmcad08_large_CEX |
|
| 27 |
make Stateflow |
|
| 28 |
make Simulink |
|
Also available in: Unified diff
add targets