From 2e4b1efc7e46b1278e162cb63632546af8f3e0e9 Mon Sep 17 00:00:00 2001 From: Joshua Bakita Date: Tue, 20 Oct 2020 16:26:25 -0400 Subject: Convert TACLeBench to use new libextra API No other changes. --- all_pairs/source/petrinet/petrinet.c | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'all_pairs/source/petrinet') diff --git a/all_pairs/source/petrinet/petrinet.c b/all_pairs/source/petrinet/petrinet.c index 6ef3392..79da104 100644 --- a/all_pairs/source/petrinet/petrinet.c +++ b/all_pairs/source/petrinet/petrinet.c @@ -977,11 +977,9 @@ int main( int argc, char **argv ) { SET_UP - for (jobsComplete=0; jobsComplete Date: Tue, 20 Oct 2020 17:10:14 -0400 Subject: Whitespace fixes for TACLeBench and copyright update in extra.h Also move run_all_dis.sh up a directory in preperation for further changes. --- all_pairs/source/petrinet/petrinet.c | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) (limited to 'all_pairs/source/petrinet') diff --git a/all_pairs/source/petrinet/petrinet.c b/all_pairs/source/petrinet/petrinet.c index 79da104..a54a999 100644 --- a/all_pairs/source/petrinet/petrinet.c +++ b/all_pairs/source/petrinet/petrinet.c @@ -976,12 +976,10 @@ int petrinet_return( void ) int main( int argc, char **argv ) { SET_UP - - for_each_job { - - petrinet_main(); - } - WRITE_TO_FILE + for_each_job { + petrinet_main(); + } + WRITE_TO_FILE return ( petrinet_return() ); } -- cgit v1.2.2