Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / README @ 6304ff63

History | View | Annotate | Download (351 Bytes)

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

    
18
run all tests have Stateflow in their names.
19
> ctest -R Stateflow 
20

    
21

    
22

    
23
To report test to CDash
24
>ctest -D Experimental