diff options
| author | leochanj105 <leochanj@live.unc.edu> | 2020-10-20 21:55:11 -0400 |
|---|---|---|
| committer | leochanj105 <leochanj@live.unc.edu> | 2020-10-20 21:55:11 -0400 |
| commit | e2d933df44b7b387b41c8c7805393ad3857c4448 (patch) | |
| tree | 35cbeee7b13ff92e3cb09e2bef5128a558ec39f1 /all_pairs/source/petrinet | |
| parent | a32f220f06cc463e5b56e7fa0b1b1334d94d08f3 (diff) | |
| parent | e2b50015cebdfba68699abd6e8575e38230f5a78 (diff) | |
Merge branch 'sd-vbs' of ssh://rtsrv.cs.unc.edu/public/mc2-scripts-and-benchmarks into sd-vbs
Diffstat (limited to 'all_pairs/source/petrinet')
| -rw-r--r-- | all_pairs/source/petrinet/petrinet.c | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/all_pairs/source/petrinet/petrinet.c b/all_pairs/source/petrinet/petrinet.c index 6ef3392..a54a999 100644 --- a/all_pairs/source/petrinet/petrinet.c +++ b/all_pairs/source/petrinet/petrinet.c | |||
| @@ -976,14 +976,10 @@ int petrinet_return( void ) | |||
| 976 | int main( int argc, char **argv ) | 976 | int main( int argc, char **argv ) |
| 977 | { | 977 | { |
| 978 | SET_UP | 978 | SET_UP |
| 979 | 979 | for_each_job { | |
| 980 | for (jobsComplete=0; jobsComplete<maxJobs; jobsComplete++){ | 980 | petrinet_main(); |
| 981 | 981 | } | |
| 982 | START_LOOP | 982 | WRITE_TO_FILE |
| 983 | petrinet_main(); | ||
| 984 | STOP_LOOP | ||
| 985 | } | ||
| 986 | WRITE_TO_FILE | ||
| 987 | 983 | ||
| 988 | return ( petrinet_return() ); | 984 | return ( petrinet_return() ); |
| 989 | } | 985 | } |