summaryrefslogtreecommitdiffstats
path: root/baseline/source/petrinet/petrinet.c
diff options
context:
space:
mode:
authorleochanj <jbakita@cs.unc.edu>2020-10-20 21:46:20 -0400
committerleochanj <jbakita@cs.unc.edu>2020-10-20 21:46:20 -0400
commite2b50015cebdfba68699abd6e8575e38230f5a78 (patch)
tree8bc28e082ad58e5fec07de81fd7c7f9bd9db2686 /baseline/source/petrinet/petrinet.c
parent79f30887129145e15e5172e36a7d7602859fc932 (diff)
parentdd606a16e840880e7617b140f6083af8ea83b6b7 (diff)
Merge branch 'rtas20-wip' into sd-vbs
Diffstat (limited to 'baseline/source/petrinet/petrinet.c')
-rw-r--r--baseline/source/petrinet/petrinet.c12
1 files changed, 4 insertions, 8 deletions
diff --git a/baseline/source/petrinet/petrinet.c b/baseline/source/petrinet/petrinet.c
index 6ef3392..a54a999 100644
--- a/baseline/source/petrinet/petrinet.c
+++ b/baseline/source/petrinet/petrinet.c
@@ -976,14 +976,10 @@ int petrinet_return( void )
976int main( int argc, char **argv ) 976int 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}