diff options
Diffstat (limited to 'baseline/source/statemate')
-rw-r--r-- | baseline/source/statemate/statemate.c | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/baseline/source/statemate/statemate.c b/baseline/source/statemate/statemate.c index 888d0fa..8239ed6 100644 --- a/baseline/source/statemate/statemate.c +++ b/baseline/source/statemate/statemate.c | |||
@@ -1273,14 +1273,12 @@ void _Pragma ( "entrypoint" ) statemate_main( void ) | |||
1273 | 1273 | ||
1274 | int main ( int argc, char **argv ) | 1274 | int main ( int argc, char **argv ) |
1275 | { | 1275 | { |
1276 | SET_UP | 1276 | SET_UP |
1277 | for (jobsComplete=0; jobsComplete<maxJobs; jobsComplete++){ | 1277 | for_each_job { |
1278 | START_LOOP | 1278 | statemate_init(); |
1279 | statemate_init(); | 1279 | statemate_main(); |
1280 | statemate_main(); | 1280 | } |
1281 | STOP_LOOP | 1281 | WRITE_TO_FILE |
1282 | } | ||
1283 | WRITE_TO_FILE | ||
1284 | 1282 | ||
1285 | return statemate_return(); | 1283 | return statemate_return(); |
1286 | } | 1284 | } |