diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-08 22:03:23 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-08 22:03:23 +0200 |
commit | 03799ca44d005c11caa524719a9a62b4c13be936 (patch) | |
tree | 4eab487ba38842bb9ff157313ce1c69281a99c39 | |
parent | 40792aaf58a5b30ce044803806563ff93169580a (diff) | |
download | compcert-kvx-03799ca44d005c11caa524719a9a62b4c13be936.tar.gz compcert-kvx-03799ca44d005c11caa524719a9a62b4c13be936.zip |
added clock
-rw-r--r-- | test/monniaux/lustre-convertible/convertible_main_loop.c | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/test/monniaux/lustre-convertible/convertible_main_loop.c b/test/monniaux/lustre-convertible/convertible_main_loop.c index f2c1f25a..a53d3e5e 100644 --- a/test/monniaux/lustre-convertible/convertible_main_loop.c +++ b/test/monniaux/lustre-convertible/convertible_main_loop.c @@ -7,6 +7,7 @@ #include <unistd.h> #include <stdint.h> #include "convertible_main.h" +#include "../clock.h" /* MACROS DEFINITIONS ****************/ #ifndef TT @@ -65,6 +66,9 @@ int main(){ #endif /* Main loop */ + clock_prepare(); + clock_start(); + for(int count=0; count<1000; count++){ ++_s; Start = _get_bool("Start"); @@ -78,6 +82,10 @@ int main(){ // printf("%d %d %d %d %d %d %f #outs %d %d %f %f\n",Start,Parked,Rot,Tic,OnOff,Done,Distance,Danger,Locked,Speed,Hood_Speed); // printf("%d %d %f %f\n",Danger,Locked,Speed,Hood_Speed); } - return 1; + + clock_stop(); + print_total_clock(); + + return 0; } |