Project

General

Profile

Download (494 Bytes) Statistics
| Branch: | Tag: | Revision:
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
(4-4/6)