Project

General

Profile

Download (494 Bytes) Statistics
| Branch: | Tag: | Revision:
1 90aa60de bourbouh
To run the test :
2
3
> mkdir build
4
> cd build
5
> cmake ..
6
> make
7 6304ff63 bourbouh
8
9
In Build folder if you want to run Ctest test:
10
11
>make test
12
Or
13
>ctest
14
15
If you want to specify witch tests to run you can choose to run test
16 a3c5526d bourbouh
matching regular expressions: 
17
>ctest -R EXP
18 6304ff63 bourbouh
19
20 a3c5526d bourbouh
The existing targets are: 
21
make test //to run all tests
22 6304ff63 bourbouh
23 a3c5526d bourbouh
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