From 2f065ddf184e1a712bc9165cb2b4f5b40b2bba33 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Mon, 8 Apr 2019 13:33:45 +0200 Subject: powerwindow from tacle-bench --- .../powerwindow_const_params.c | 24 ++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 test/monniaux/tacle-bench-powerwindow/powerwindow_const_params.c (limited to 'test/monniaux/tacle-bench-powerwindow/powerwindow_const_params.c') diff --git a/test/monniaux/tacle-bench-powerwindow/powerwindow_const_params.c b/test/monniaux/tacle-bench-powerwindow/powerwindow_const_params.c new file mode 100644 index 00000000..74777528 --- /dev/null +++ b/test/monniaux/tacle-bench-powerwindow/powerwindow_const_params.c @@ -0,0 +1,24 @@ +/* + + This program is part of the TACLeBench benchmark suite. + Version V 1.x + + Name: powerwindow_const_params.c + + Author: CoSys-Lab, University of Antwerp + + Function: the lookup table for stateflow chart in powerwindow_powerwindow_control + + Source: https://github.com/tacle/tacle-bench/blob/master/bench/app/PowerWindow/powerwindow_const_params.c + + Changes: a brief summary of major functional changes and formatting) + + License: GNU General Public License + +*/ + +#include "powerwindow_HeaderFiles/powerwindow_rtwtypes.h" + +extern const powerwindow_boolean_T powerwindow_rtCP_pooled_6bUUQf1tASYw[12]; +const powerwindow_boolean_T powerwindow_rtCP_pooled_6bUUQf1tASYw[12] = { 1, 0, 0, 1, 0, 1, 0, 0, 0, 0, 1, + 0 } ; -- cgit