diff options
Diffstat (limited to 'test/ctest/scripts/run_promela_test.cmake')
| -rw-r--r-- | test/ctest/scripts/run_promela_test.cmake | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/ctest/scripts/run_promela_test.cmake b/test/ctest/scripts/run_promela_test.cmake index 271434f..4acf628 100644 --- a/test/ctest/scripts/run_promela_test.cmake +++ b/test/ctest/scripts/run_promela_test.cmake @@ -20,8 +20,8 @@ if(CMD_RESULT) endif() message(STATUS "time for transforming to c") -message(STATUS "${CC_BIN} -DMEMLIM=1024 -DVECTORSZ=8192 -O2 -DXUSAFE -w -o ${OUTDIR}/pan ${OUTDIR}/pan.c") -execute_process(COMMAND time -p ${CC_BIN} -DMEMLIM=1024 -DVECTORSZ=8192 -O2 -DXUSAFE -w -o ${OUTDIR}/pan ${OUTDIR}/pan.c WORKING_DIRECTORY ${OUTDIR} RESULT_VARIABLE CMD_RESULT) +message(STATUS "${CC_BIN} -DMEMLIM=1024 -DVECTORSZ=2048 -O2 -DXUSAFE -w -o ${OUTDIR}/pan ${OUTDIR}/pan.c") +execute_process(COMMAND time -p ${CC_BIN} -DMEMLIM=1024 -DVECTORSZ=2048 -O2 -DXUSAFE -w -o ${OUTDIR}/pan ${OUTDIR}/pan.c WORKING_DIRECTORY ${OUTDIR} RESULT_VARIABLE CMD_RESULT) if(CMD_RESULT) message(FATAL_ERROR "Error running gcc ${CC_BIN}: ${CMD_RESULT}") endif() |