diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-13 12:03:34 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-13 12:03:34 +0200 |
| commit | 1792797a37be314ab8a257b55b2f5530b15f08f1 (patch) | |
| tree | e8ae7822115f24cb15c44b3a0b5b4fd32fe1f377 /test/monniaux/heptagon_radio_transmitter | |
| parent | 3db72104ad5664ed320253a342e1b26ad2f7da28 (diff) | |
| download | compcert-kvx-1792797a37be314ab8a257b55b2f5530b15f08f1.tar.gz compcert-kvx-1792797a37be314ab8a257b55b2f5530b15f08f1.zip | |
clock the time in heptagon
Diffstat (limited to 'test/monniaux/heptagon_radio_transmitter')
| -rw-r--r-- | test/monniaux/heptagon_radio_transmitter/_main.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/monniaux/heptagon_radio_transmitter/_main.c b/test/monniaux/heptagon_radio_transmitter/_main.c index 707c921a..635d660f 100644 --- a/test/monniaux/heptagon_radio_transmitter/_main.c +++ b/test/monniaux/heptagon_radio_transmitter/_main.c @@ -6,6 +6,7 @@ #include <string.h> #include <stdlib.h> #include "_main.h" +#include "../clock.h" #include "../dm_random.c" static inline int get_bool(void) { @@ -35,6 +36,9 @@ int main(int argc, char** argv) { if ((argc==2)) { step_max = atoi(argv[1]); }; + + clock_prepare(); + clock_start(); Radiotrans__main_reset(&mem); while ((!(step_max)||(step_c<step_max))) { step_c = (step_c+1); @@ -57,10 +61,14 @@ int main(int argc, char** argv) { wake_up, irq_tx_done, irq_on_packet, irq_end_of_packet, irq_end_of_calibration, irq_fifo_threshold, adc_on, adc_off, &_res, &mem); +#if 0 printf("%d\n", _res.a_on); printf("%d\n", _res.red); fflush(stdout); +#endif }; + clock_stop(); + print_total_clock(); return 0; } |