Project

General

Profile

« Previous | Next » 

Revision a3c5526d

Added by Hamza Bourbouh over 7 years ago

add targets

View differences:

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