~ubuntu-branches/debian/sid/frama-c/sid

« back to all changes in this revision

Viewing changes to tests/misc/CruiseControl_const.c

• browse files at revision 1
• compare with another revision
• download diff
• download tarball
• view history from revision 1

Show diffs side-by-side

added

removed

tests/misc/CruiseControl_const.c

 

1

/* run.config

 

2

   GCC:

 

3

   DONTRUN:

 

4

*/

 

5

/*$************* SCADE_KCG KCG Version 5.1.1 (build i10) **************

 

6

** Command :

 

7

** l2C        CruiseControl.lus -node CruiseControl

 

8

**     -noexp @ALL@

 

9

**     -keep_named_var

 

10

**     -const

 

11

**     -bitwise

 

12

**     -loc_ctx

 

13

**     -no_copy_mem

 

14

**     -debug

 

15

** date of generation (MM/DD/YYYY): 07/06/2007 13:30:09

 

16

** last modification date for CruiseControl.lus (MM/DD/YYYY): 07/06/2007 

 

17

********************************************************************$*/

 

18

 

 

19

#include "CruiseControl.h"

 

20

const Speed ZeroSpeed = (real) 0.0;

 

21

 

 

22

const Speed SpeedInc = (real) 2.0;

 

23

 

 

24

const Speed SpeedMax = (real) 150.0;

 

25

 

 

26

const Speed SpeedMin = (real) 30.0;

 

27

 

 

28

const Percent ZeroPercent = (real) 0.0;

 

29

 

 

30

const real Kp = (real) 8.113;

 

31

 

 

32

const real Ki = (real) 0.5;

 

33

 

 

34

const Percent RegThrottleMax = (real) 45.0;

 

35

 

 

36

 

 

37

 

 

38

/*$************* SCADE_KCG KCG Version 5.1.1 (build i10) **************

 

39

** End of file CruiseControl_const.c

 

40

** End of generation (MM/DD/YYYY) : 07/06/2007 13:30:09

 

41

********************************************************************$*/

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1