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. --- baseline/source/statemate/statemate.c | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'baseline/source/statemate/statemate.c') diff --git a/baseline/source/statemate/statemate.c b/baseline/source/statemate/statemate.c index 888d0fa..2b76166 100644 --- a/baseline/source/statemate/statemate.c +++ b/baseline/source/statemate/statemate.c @@ -1274,11 +1274,9 @@ void _Pragma ( "entrypoint" ) statemate_main( void ) 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. --- baseline/source/statemate/statemate.c | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'baseline/source/statemate/statemate.c') diff --git a/baseline/source/statemate/statemate.c b/baseline/source/statemate/statemate.c index 2b76166..8239ed6 100644 --- a/baseline/source/statemate/statemate.c +++ b/baseline/source/statemate/statemate.c @@ -1273,12 +1273,12 @@ void _Pragma ( "entrypoint" ) statemate_main( void ) int main ( int argc, char **argv ) { - SET_UP - for_each_job { - statemate_init(); - statemate_main(); - } - WRITE_TO_FILE + SET_UP + for_each_job { + statemate_init(); + statemate_main(); + } + WRITE_TO_FILE return statemate_return(); } -- cgit v1.2.2