diff options
Diffstat (limited to 'test/monniaux/lustrev6-convertible-en-2cgc/lustre-convertible-en-2cgc/convertible_main_loop.c')
-rw-r--r-- | test/monniaux/lustrev6-convertible-en-2cgc/lustre-convertible-en-2cgc/convertible_main_loop.c | 86 |
1 files changed, 86 insertions, 0 deletions
diff --git a/test/monniaux/lustrev6-convertible-en-2cgc/lustre-convertible-en-2cgc/convertible_main_loop.c b/test/monniaux/lustrev6-convertible-en-2cgc/lustre-convertible-en-2cgc/convertible_main_loop.c new file mode 100644 index 00000000..9646b39f --- /dev/null +++ b/test/monniaux/lustrev6-convertible-en-2cgc/lustre-convertible-en-2cgc/convertible_main_loop.c @@ -0,0 +1,86 @@ +/* This file was generated by lv6 version master.737 (2727a7744111c84f7984634d2bd3ad6f7c6c7ff9). */ +/* lv6 -2cgc -node main convertible.lus */ +/* on vanoise the 08/05/2019 at 23:54:11 */ + +#include <stdlib.h> +#include <stdio.h> +#include <unistd.h> +#include <stdint.h> +#include "convertible_main.h" +#include "../clock.h" +#include "../dm_random.c" + +/* MACROS DEFINITIONS ****************/ +#ifndef TT +#define TT "1" +#endif +#ifndef FF +#define FF "0" +#endif +#ifndef BB +#define BB "bottom" +#endif +#ifdef CKCHECK +/* set this macro for testing output clocks */ +#endif + +/* Standard Input procedures **************/ +_boolean _get_bool(char* n){ + return dm_random_uint32() & 1; +} +/* +_integer _get_int(char* n){ + return (_integer) (dm_random_uint32() % 21) - 10; +} +*/ +_real _get_real(char* n){ + return ((_integer) (dm_random_uint32() % 2000001) - 1000000)*1E-6; +} +/* Output procedures **********************/ +void convertible_main_O_n(void* cdata, _integer _V) { +} + +/* Main procedure *************************/ +int main(){ + int _s = 0; + _boolean Start; + _boolean Parked; + _boolean Rot; + _boolean Tick; + _boolean OnOff; + _boolean Done; + _real Dist; + _boolean Danger; + _boolean Locked; + _real Speed; + _real Roof_Speed; + convertible_main_ctx_type ctx_struct; + convertible_main_ctx_type* ctx = &ctx_struct; + convertible_main_ctx_init(ctx); + // printf("#inputs \"Start\":bool \"Parked\":bool \"Rot\":bool \"Tick\":bool \"OnOff\":bool \"Done\":bool \"Dist\":real\n"); + // printf("#outputs \"Danger\":bool \"Locked\":bool \"Speed\":real \"Roof_Speed\":real\n"); + + /* Main loop */ + clock_prepare(); + clock_start(); + + for(int count=0; count<1000; count++){ + ++_s; + Start = _get_bool("Start"); + Parked = _get_bool("Parked"); + Rot = _get_bool("Rot"); + Tick = _get_bool("Tick"); + OnOff = _get_bool("OnOff"); + Done = _get_bool("Done"); + Dist = _get_real("Dist"); + convertible_main_step(Start,Parked,Rot,Tick,OnOff,Done,Dist,&Danger,&Locked,&Speed,&Roof_Speed,ctx); + // printf("%d %d %d %d %d %d %f #outs %d %d %f %f\n",Start,Parked,Rot,Tick,OnOff,Done,Dist,Danger,Locked,Speed,Roof_Speed); + // printf("%d %d %f %f\n",Danger,Locked,Speed,Roof_Speed); + } + + clock_stop(); + print_total_clock(); + + return 0; + +} |