diff options
| author | Stefan Radomski <github@mintwerk.de> | 2016-11-16 10:36:07 (GMT) |
|---|---|---|
| committer | Stefan Radomski <github@mintwerk.de> | 2016-11-16 10:36:07 (GMT) |
| commit | 3ec460015db867b6163f14e5d7effc7a01b29295 (patch) | |
| tree | 9c1daa6dc70aa64b29e469e987c8b4306f7be79e /test/CMakeLists.txt | |
| parent | 13220a705ac1efda68c0a0aef0ed63fbc2bc27cd (diff) | |
| download | uscxml-3ec460015db867b6163f14e5d7effc7a01b29295.zip uscxml-3ec460015db867b6163f14e5d7effc7a01b29295.tar.gz uscxml-3ec460015db867b6163f14e5d7effc7a01b29295.tar.bz2 | |
Impreoved PROMELA transformation
Diffstat (limited to 'test/CMakeLists.txt')
| -rw-r--r-- | test/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt index da70494..bc61a2a 100644 --- a/test/CMakeLists.txt +++ b/test/CMakeLists.txt @@ -1,4 +1,4 @@ -set(TEST_TIMEOUT 15) +set(TEST_TIMEOUT 30) set(TEST_BENCHMARK_ITERATIONS 1000) find_program(SPIN spin) |