|
1
|
To run the test :
|
|
2
|
|
|
3
|
> mkdir build
|
|
4
|
> cd build
|
|
5
|
> cmake ..
|
|
6
|
> make
|
|
7
|
|
|
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
|
matching regular expressions:
|
|
17
|
>ctest -R EXP
|
|
18
|
|
|
19
|
|
|
20
|
The existing targets are:
|
|
21
|
make test //to run all tests
|
|
22
|
|
|
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
|