Project

General

Profile

Revision 01b56d34

View differences:

regression_tests/lustre_files/success/CMakeLists.txt
6 6
add_subdirectory(adrien)
7 7
add_subdirectory(automata)
8 8
add_subdirectory(clocks)
9
#[[add_subdirectory(lego_robot)
10
add_subdirectory(linear_ctl)
11
add_subdirectory(mpfr)
9
add_subdirectory(lego_robot)
10
#add_subdirectory(linear_ctl)
11
#add_subdirectory(mpfr)
12 12
add_subdirectory(lusic)
13
add_subdirectory(safety)]]
13
#add_subdirectory(safety)
regression_tests/lustre_files/success/lego_robot/controller/CMakeLists.txt
1 1
cmake_minimum_required(VERSION 2.8.4)
2
include(FindUnixCommands)
3 2

  
4 3

  
4
set(LUSTRE_OPTIONS_OPT "" )
5
set(MAX_INPUT_VALUE 100)
5 6

  
6 7

  
7 8

  
8
#take all lustre files
9
set(GLOBAL_LUSTRE_FILES "")
10
LUSTREFILES(LFILES ${CMAKE_CURRENT_SOURCE_DIR} )
11
list(APPEND GLOBAL_LUSTRE_FILES ${LFILES})
12
FOREACH(lfile ${LFILES})
13
	get_filename_component(L ${lfile} NAME_WE)
14
	set(LUSTRE_OUTPUT_DIR "${CMAKE_CURRENT_BINARY_DIR}/${L}")
15
	file(COPY ${lfile}   DESTINATION  ${LUSTRE_OUTPUT_DIR})
16
	if(EXISTS ${CMAKE_CURRENT_SOURCE_DIR}/${L}.lusi)
17
	file(COPY  ${L}.lusi DESTINATION  ${LUSTRE_OUTPUT_DIR})
18
	else()
19
		message("generate ${L}.lusi \n")
20
		Lustre_Compile(LUS_FILE ${lfile}
21
				NODE ""
22
				OPTS "-lusi")				
23
		set(LUS_OPTS_CUT ${LUSTRE_OPTS_POSTFIX_${L}})
24
		execute_process(RESULT_VARIABLE res 
25
					COMMAND ${LUSTRE_COMPILER} ${LUSTREC_ARGS_${L}__${LUS_OPTS_CUT}} 
26
					WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR})
27
		if(${res} STREQUAL "0")
28
			file(COPY  ${L}.lusi DESTINATION  ${LUSTRE_OUTPUT_DIR})
29
		else()
30
			message("${L}.lusi Error")
31
		endif()
32
	endif()
33
	if(EXISTS ${CMAKE_CURRENT_SOURCE_DIR}/${L}_input_values)
34
		file(COPY  ${L}_input_values DESTINATION  ${LUSTRE_OUTPUT_DIR})
35
	elseif(EXISTS ${CMAKE_CURRENT_SOURCE_DIR}/${L}.lusi)
36
		message("generate input_values \n")
37
		execute_process(RESULT_VARIABLE res 
38
					COMMAND ${JAVA_RUNTIME} -cp ${CMAKE_BINARY_DIR}/modules/ Generate_inputs_lusi ${L} ${L}.lusi 
39
					WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR})
40
		if(${res} STREQUAL "0")
41
			file(COPY  ${L}_input_values DESTINATION  ${LUSTRE_OUTPUT_DIR})
42
		else()
43
			message("${L}_input_values Error")
44
		endif()
45
	endif()
46
	if(EXISTS ${CMAKE_CURRENT_SOURCE_DIR}/${L}_output_values)
47
		file(COPY  ${L}_output_values DESTINATION  ${LUSTRE_OUTPUT_DIR})
48
	elseif(EXISTS ${CMAKE_CURRENT_SOURCE_DIR}/${L}_input_values)
49
		message("generate output_values for reference \n")
50
		set(LUSTRE_NODE_OPT  "${L}")
51
		
52
		Lustre_Compile(LUS_FILE ${lfile}
53
						NODE ${LUSTRE_NODE_OPT}
54
						OPTS ""
55
						DIR ${CMAKE_CURRENT_SOURCE_DIR})
56
						
57
		set(LUS_OPTS_CUT ${LUSTRE_OPTS_POSTFIX_${L}})
58
		
59
		execute_process(
60
					COMMAND ${LUSTRE_COMPILER} ${LUSTREC_ARGS_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}} 
61
					WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR})			
62
		execute_process(
63
					COMMAND  make -f ${L}.makefile
64
					WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR})	
65
		execute_process(RESULT_VARIABLE res 
66
					COMMAND ${BASH} -c "./${L}_${LUSTRE_NODE_OPT} < ${L}_input_values > ${L}_output_values"
67
					WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR})	
68
		file(REMOVE ${L}_${LUSTRE_NODE_OPT} io_frontend.o ${L}.c ${L}.h ${L}.lusic ${L}.makefile ${L}.o ${L}_alloc.h ${L}_main.c ${L}_main.o )
69
		if(${res} STREQUAL "0")
70
			file(COPY  ${L}_output_values DESTINATION  ${LUSTRE_OUTPUT_DIR})
71
		else()
72
			message("${L} output_values Error")
73
		endif()
74
	endif()
75
ENDFOREACH()
76

  
77
#first combination :no option
78
set(LUSTRE_OPTIONS_OPT "")
79
FOREACH(lus_file ${GLOBAL_LUSTRE_FILES})
9
set(subdir ${CMAKE_CURRENT_SOURCE_DIR})
10
LUSTREFILES(LFILES ${subdir} )
11
set(TESTS_PREFIX "lego_robot_controller")
12
set(SRC_DIR "${CMAKE_CURRENT_SOURCE_DIR}")
13
set(DST_DIR "${CMAKE_CURRENT_BINARY_DIR}")
14
FOREACH(lus_file ${LFILES})
80 15
	get_filename_component(L ${lus_file} NAME_WE)
81
	set(LUSTRE_NODE_OPT  "${L}")
82
	
83
	# First command generate C files from Lustre file
84
	Lustre_Compile(LUS_FILE ${lus_file}
85
					NODE ${LUSTRE_NODE_OPT}
86
					OPTS ${LUSTRE_OPTIONS_OPT})
87
					
88
	set(LUS_OPTS_CUT ${LUSTRE_OPTS_POSTFIX_${L}})
89
	add_test(NAME lego_robot_controller_COMPIL_LUSTRE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
90
			COMMAND  ${LUSTRE_COMPILER} ${LUSTREC_ARGS_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}} 
16
	set(NODE_NAME  "${L}")
17
	Copy_or_generate_lusi_input_and_output_values_for_reference(
18
		LUS_FILE ${lus_file}
19
		NODE ${NODE_NAME}
20
		OPTS ${LUSTRE_OPTIONS_OPT}
21
		MAX ${MAX_INPUT_VALUE}  	#maximum value for input values.
22
		SRC_DIR ${SRC_DIR}
23
		DST_DIR ${DST_DIR}
91 24
	)
92 25

  
93
	 #********************* make -f ${L}.makefile ***************************
94
	 add_test(NAME lego_robot_controller_MAKE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
95
			COMMAND  make -f ${L}.makefile
96
			WORKING_DIRECTORY ${LUSTRE_OUTPUT_DIR_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}}
26
	Lustre_compile_and_compare_to_reference(
27
		LUS_FILE ${lus_file}
28
		NODE ${NODE_NAME}
29
		TESTS_PREFIX ${TESTS_PREFIX}
30
		OPTS ${LUSTRE_OPTIONS_OPT}
31
		CALL_ID "1"
32
		SRC_DIR ${SRC_DIR}
33
		DST_DIR ${DST_DIR}
97 34
	)
98
	SET_TESTS_PROPERTIES ( lego_robot_controller_MAKE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
99
	 PROPERTIES DEPENDS lego_robot_controller_COMPIL_LUSTRE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
100
				REQUIRED_FILES ${L}.makefile
101
				)
102
	 
103
	 #************** execute C binary **********************************
104
	
105
	if (BASH)
106
		add_test(
107
			NAME lego_robot_controller_BIN_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT} 
108
			COMMAND ${BASH} -c "./${L}_${LUSTRE_NODE_OPT} < ../${L}_input_values > ${L}_${LUSTRE_NODE_OPT}_outputs"
109
			WORKING_DIRECTORY ${LUSTRE_OUTPUT_DIR_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}}
110
		)
111
		SET_TESTS_PROPERTIES ( lego_robot_controller_BIN_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
112
			PROPERTIES REQUIRED_FILES ${L}_${LUSTRE_NODE_OPT}
113
				DEPENDS lego_robot_controller_MAKE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT})
114
	else()
115
		message(FATAL_ERROR "Unknown shell command ${BASH} -c for ${CMAKE_HOST_SYSTEM_NAME}")
116
	endif()
117 35

  
118
	 #************** execute C binary **********************************
119
	 add_test(NAME lego_robot_controller_DIFF_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
120
			COMMAND ${CMAKE_COMMAND} -E compare_files ${L}_${LUSTRE_NODE_OPT}_outputs ../${L}_output_values 
121
			WORKING_DIRECTORY ${LUSTRE_OUTPUT_DIR_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}}
122
	)
123
	SET_TESTS_PROPERTIES ( lego_robot_controller_DIFF_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
124
	 PROPERTIES REQUIRED_FILES ${L}_${LUSTRE_NODE_OPT}_outputs
125
				DEPENDS lego_robot_controller_BIN_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT} )
126 36
ENDFOREACH()
127 37

  
38

  
128 39
add_custom_target(lego_robot_controller COMMAND ${CMAKE_CTEST_COMMAND} -R lego_robot_controller)
129 40

  
41

  
42

  
regression_tests/lustre_files/success/lego_robot/controller/lego_anti_windup_input_values
1
534
2
177
3
377
4
814
5
986
6
114
7
747
8
701
9
48.687638743055054
10
834
11
577
12
943
13
689
14
259
15
989
16
443
17
817
18
27.625154112140503
19
812
20
498
21
614
22
715
23
735
24
385
25
164
26
79
27
72.91134959676752
28
923
29
774
30
37
31
188
32
183
33
428
34
313
35
501
36
47.449597290451386
37
618
38
769
39
225
40
386
41
234
42
310
43
700
44
961
45
66.93319835630706
46
153
47
127
48
57
49
152
50
667
51
245
52
713
53
458
54
76.38916634668234
55
614
56
740
57
307
58
39
59
750
60
744
61
704
62
220
63
30.46744225473614
64
294
65
710
66
842
67
620
68
173
69
674
70
533
71
540
72
99.00010083360753
73
965
74
767
75
889
76
868
77
486
78
341
79
846
80
290
81
75.17955914345106
82
948
83
132
84
873
85
758
86
896
87
224
88
604
89
51
90
19.923468119610355
91
44
92
75
93
349
94
804
95
784
96
82
97
96
98
733
99
5.614491186157755
100
193
101
207
102
451
103
4
104
874
105
930
106
535
107
36
108
97.79376541737663
109
734
110
772
111
261
112
480
113
346
114
496
115
305
116
68
117
0.08022038775675755
118
371
119
748
120
825
121
879
122
192
123
90
124
537
125
680
126
92.4322085901121
127
760
128
70
129
716
130
233
131
350
132
141
133
32
134
475
135
32.53906036039565
136
779
137
356
138
34
139
324
140
964
141
518
142
69
143
774
144
24.14471889273021
145
290
146
747
147
109
148
195
149
736
150
292
151
26
152
574
153
31.603965683532675
154
743
155
334
156
641
157
161
158
263
159
997
160
864
161
167
162
3.655757658784553
163
255
164
779
165
719
166
250
167
367
168
658
169
69
170
50
171
95.14658455561448
172
761
173
769
174
337
175
168
176
154
177
757
178
822
179
718
180
14.231946134159301
181
604
182
128
183
626
184
420
185
840
186
390
187
879
188
247
189
84.52041704585967
190
403
191
892
192
37
193
451
194
240
195
122
196
184
197
673
198
17.887957849669355
199
397
200
541
201
224
202
402
203
958
204
75
205
582
206
613
207
9.521306170678411
208
220
209
36
210
117
211
99
212
806
213
461
214
51
215
584
216
64.5377447151811
217
732
218
474
219
136
220
595
221
351
222
725
223
730
224
106
225
90.29642537923948
226
845
227
945
228
883
229
670
230
859
231
870
232
622
233
73
234
26.185765810070173
235
76
236
191
237
117
238
766
239
225
240
661
241
374
242
181
243
84.63185641342001
244
189
245
669
246
469
247
916
248
459
249
534
250
290
251
149
252
72.68684467301307
253
82
254
370
255
812
256
68
257
547
258
658
259
900
260
82
261
95.370757302468
262
324
263
193
264
284
265
438
266
685
267
78
268
412
269
410
270
86.4935510136549
271
11
272
294
273
43
274
704
275
486
276
319
277
686
278
586
279
2.9237128615798857
280
491
281
493
282
898
283
460
284
197
285
397
286
496
287
967
288
61.72300035312174
289
953
290
26
291
365
292
516
293
411
294
139
295
265
296
230
297
89.52834407132983
298
889
299
164
300
808
301
282
302
189
303
370
304
835
305
405
306
98.68954269290384
307
177
308
443
309
578
310
585
311
110
312
216
313
612
314
167
315
55.50617006674472
316
161
317
42
318
414
319
6
320
261
321
150
322
332
323
447
324
34.95741516989974
325
727
326
118
327
420
328
410
329
664
330
747
331
216
332
677
333
51.47435188619516
334
671
335
635
336
100
337
623
338
659
339
876
340
732
341
465
342
14.471986404657656
343
849
344
734
345
757
346
446
347
444
348
812
349
433
350
722
351
25.33288172854068
352
891
353
41
354
774
355
237
356
564
357
616
358
440
359
38
360
99.246055690454
361
25
362
942
363
14
364
288
365
448
366
259
367
224
368
58
369
77.7121580805286
370
877
371
64
372
974
373
561
374
600
375
322
376
960
377
576
378
55.53778846068709
379
852
380
219
381
177
382
100
383
500
384
7
385
612
386
514
387
36.09141687187295
388
71
389
266
390
169
391
937
392
885
393
525
394
592
395
137
396
75.90059030197843
397
617
398
569
399
78
400
303
401
416
402
156
403
782
404
425
405
55.45831132493638
406
776
407
642
408
916
409
610
410
395
411
439
412
509
413
16
414
27.666555785618385
415
357
416
224
417
19
418
275
419
214
420
536
421
161
422
15
423
74.45868844959932
424
101
425
823
426
121
427
362
428
837
429
439
430
619
431
42
432
90.41029174490517
433
745
434
563
435
845
436
270
437
350
438
33
439
412
440
992
441
50.58137332297517
442
371
443
343
444
626
445
48
446
200
447
470
448
162
449
927
450
73.10812066811972
451
902
452
797
453
692
454
781
455
97
456
847
457
903
458
452
459
48.94554149517558
460
56
461
340
462
935
463
242
464
196
465
219
466
575
467
982
468
94.74995526826365
469
263
470
456
471
491
472
194
473
271
474
505
475
665
476
479
477
7.430512345068163
478
857
479
272
480
547
481
747
482
488
483
31
484
471
485
357
486
99.08174470788224
487
45
488
474
489
134
490
856
491
42
492
495
493
843
494
560
495
69.74515187847555
496
133
497
784
498
512
499
998
500
611
501
345
502
398
503
976
504
29.271487533471852
505
593
506
302
507
61
508
895
509
956
510
67
511
773
512
439
513
98.92358904555203
514
343
515
407
516
556
517
771
518
637
519
31
520
719
521
942
522
56.23041923582605
523
978
524
44
525
853
526
992
527
780
528
668
529
151
530
400
531
20.81632594408357
532
313
533
594
534
388
535
357
536
477
537
474
538
149
539
346
540
75.02452427439614
541
224
542
806
543
903
544
821
545
364
546
968
547
987
548
70
549
22.393395817068818
550
293
551
363
552
886
553
198
554
28
555
804
556
871
557
93
558
17.53377472896773
559
240
560
936
561
976
562
901
563
607
564
317
565
215
566
822
567
47.87417172443177
568
365
569
317
570
907
571
808
572
248
573
384
574
306
575
69
576
81.82405532077968
577
526
578
50
579
16
580
771
581
263
582
829
583
735
584
273
585
9.444613910880918
586
275
587
195
588
842
589
680
590
92
591
886
592
598
593
193
594
25.468326613775783
595
361
596
597
597
992
598
786
599
972
600
691
601
96
602
868
603
4.027065150427034
604
907
605
556
606
0
607
712
608
347
609
881
610
499
611
212
612
82.48072143054783
613
393
614
720
615
339
616
575
617
95
618
229
619
248
620
104
621
6.4529511022692
622
461
623
119
624
316
625
936
626
507
627
350
628
517
629
611
630
33.11387050322438
631
517
632
814
633
669
634
419
635
788
636
935
637
848
638
841
639
78.49016601458722
640
416
641
102
642
784
643
778
644
287
645
884
646
251
647
413
648
19.33206285348851
649
831
650
629
651
498
652
516
653
279
654
946
655
285
656
77
657
86.34183617848291
658
281
659
890
660
130
661
945
662
813
663
90
664
286
665
741
666
63.44007648496181
667
897
668
789
669
710
670
566
671
910
672
248
673
635
674
923
675
83.12223447847835
676
745
677
659
678
570
679
726
680
175
681
105
682
502
683
39
684
15.56071006726193
685
82
686
355
687
266
688
546
689
357
690
973
691
512
692
581
693
71.90097348263038
694
677
695
905
696
268
697
830
698
743
699
407
700
679
701
132
702
50.16740962688685
703
873
704
368
705
991
706
187
707
792
708
82
709
706
710
883
711
86.47381246035845
712
80
713
164
714
973
715
730
716
858
717
84
718
505
719
428
720
20.758129402338852
721
835
722
931
723
388
724
33
725
417
726
16
727
295
728
325
729
86.16491026334782
730
427
731
92
732
603
733
285
734
93
735
413
736
157
737
463
738
3.381736806475377
739
832
740
56
741
962
742
908
743
90
744
967
745
651
746
252
747
65.60131993802467
748
670
749
94
750
510
751
699
752
653
753
435
754
844
755
7
756
47.790167162842735
757
177
758
803
759
111
760
230
761
405
762
139
763
576
764
621
765
96.24874431285124
766
495
767
796
768
724
769
28
770
193
771
694
772
891
773
29
774
63.492059847381796
775
380
776
117
777
432
778
828
779
847
780
738
781
310
782
227
783
92.09297603270673
784
927
785
367
786
258
787
917
788
699
789
19
790
153
791
998
792
96.24337966351123
793
504
794
9
795
864
796
83
797
364
798
451
799
442
800
936
801
83.54195345590585
802
317
803
347
804
572
805
550
806
669
807
767
808
186
809
690
810
68.15603233380236
811
581
812
874
813
374
814
891
815
533
816
30
817
524
818
79
819
80.56887645707967
820
483
821
831
822
854
823
70
824
951
825
110
826
397
827
185
828
26.578667003664147
829
548
830
141
831
956
832
555
833
125
834
388
835
24
836
953
837
55.29025410431546
838
29
839
367
840
171
841
343
842
477
843
509
844
696
845
619
846
58.458042891943876
847
541
848
255
849
75
850
984
851
90
852
3
853
743
854
778
855
5.358957577466372
856
769
857
607
858
419
859
590
860
374
861
712
862
156
863
25
864
8.591525204558314
865
573
866
26
867
795
868
74
869
496
870
912
871
263
872
255
873
10.349327750633696
874
336
875
582
876
483
877
691
878
432
879
232
880
315
881
645
882
92.90981528914556
883
558
884
793
885
686
886
630
887
799
888
137
889
30
890
518
891
34.12899617043082
892
611
893
525
894
125
895
577
896
232
897
276
898
318
899
906
900
17.875756614908056
regression_tests/lustre_files/success/lego_robot/controller/lego_anti_windup_lego_anti_windup__output_values
1
'speedA': '0' 
2
'speedB': '-100' 
3
'speedC': '-100' 
4
'speedA': '0' 
5
'speedB': '-100' 
6
'speedC': '-100' 
7
'speedA': '0' 
8
'speedB': '-100' 
9
'speedC': '-100' 
10
'speedA': '0' 
11
'speedB': '-100' 
12
'speedC': '-100' 
13
'speedA': '0' 
14
'speedB': '-100' 
15
'speedC': '-100' 
16
'speedA': '0' 
17
'speedB': '-100' 
18
'speedC': '-100' 
19
'speedA': '0' 
20
'speedB': '-100' 
21
'speedC': '-100' 
22
'speedA': '0' 
23
'speedB': '-100' 
24
'speedC': '-100' 
25
'speedA': '0' 
26
'speedB': '-100' 
27
'speedC': '-100' 
28
'speedA': '0' 
29
'speedB': '-100' 
30
'speedC': '-100' 
31
'speedA': '0' 
32
'speedB': '-100' 
33
'speedC': '-100' 
34
'speedA': '0' 
35
'speedB': '-100' 
36
'speedC': '-100' 
37
'speedA': '0' 
38
'speedB': '-100' 
39
'speedC': '-100' 
40
'speedA': '0' 
41
'speedB': '100' 
42
'speedC': '100' 
43
'speedA': '0' 
44
'speedB': '-100' 
45
'speedC': '-100' 
46
'speedA': '0' 
47
'speedB': '-100' 
48
'speedC': '-100' 
49
'speedA': '0' 
50
'speedB': '-100' 
51
'speedC': '-100' 
52
'speedA': '0' 
53
'speedB': '-100' 
54
'speedC': '-100' 
55
'speedA': '0' 
56
'speedB': '-100' 
57
'speedC': '-100' 
58
'speedA': '0' 
59
'speedB': '-100' 
60
'speedC': '-100' 
61
'speedA': '0' 
62
'speedB': '100' 
63
'speedC': '100' 
64
'speedA': '0' 
65
'speedB': '-100' 
66
'speedC': '-100' 
67
'speedA': '0' 
68
'speedB': '-100' 
69
'speedC': '-100' 
70
'speedA': '0' 
71
'speedB': '-100' 
72
'speedC': '-100' 
73
'speedA': '0' 
74
'speedB': '-100' 
75
'speedC': '-100' 
76
'speedA': '0' 
77
'speedB': '-100' 
78
'speedC': '-100' 
79
'speedA': '0' 
80
'speedB': '-100' 
81
'speedC': '-100' 
82
'speedA': '0' 
83
'speedB': '-100' 
84
'speedC': '-100' 
85
'speedA': '0' 
86
'speedB': '-100' 
87
'speedC': '-100' 
88
'speedA': '0' 
89
'speedB': '-100' 
90
'speedC': '-100' 
91
'speedA': '0' 
92
'speedB': '-100' 
93
'speedC': '-100' 
94
'speedA': '0' 
95
'speedB': '-100' 
96
'speedC': '-100' 
97
'speedA': '0' 
98
'speedB': '-100' 
99
'speedC': '-100' 
100
'speedA': '0' 
101
'speedB': '-100' 
102
'speedC': '-100' 
103
'speedA': '0' 
104
'speedB': '-100' 
105
'speedC': '-100' 
106
'speedA': '0' 
107
'speedB': '-100' 
108
'speedC': '-100' 
109
'speedA': '0' 
110
'speedB': '-100' 
111
'speedC': '-100' 
112
'speedA': '0' 
113
'speedB': '-100' 
114
'speedC': '-100' 
115
'speedA': '0' 
116
'speedB': '-100' 
117
'speedC': '-100' 
118
'speedA': '0' 
119
'speedB': '-100' 
120
'speedC': '-100' 
121
'speedA': '0' 
122
'speedB': '-100' 
123
'speedC': '-100' 
124
'speedA': '0' 
125
'speedB': '-100' 
126
'speedC': '-100' 
127
'speedA': '0' 
128
'speedB': '-100' 
129
'speedC': '-100' 
130
'speedA': '0' 
131
'speedB': '-100' 
132
'speedC': '-100' 
133
'speedA': '0' 
134
'speedB': '-100' 
135
'speedC': '-100' 
136
'speedA': '0' 
137
'speedB': '-100' 
138
'speedC': '-100' 
139
'speedA': '0' 
140
'speedB': '-100' 
141
'speedC': '-100' 
142
'speedA': '0' 
143
'speedB': '-100' 
144
'speedC': '-100' 
145
'speedA': '0' 
146
'speedB': '-100' 
147
'speedC': '-100' 
148
'speedA': '0' 
149
'speedB': '-100' 
150
'speedC': '-100' 
151
'speedA': '0' 
152
'speedB': '-100' 
153
'speedC': '-100' 
154
'speedA': '0' 
155
'speedB': '-100' 
156
'speedC': '-100' 
157
'speedA': '0' 
158
'speedB': '-100' 
159
'speedC': '-100' 
160
'speedA': '0' 
161
'speedB': '-100' 
162
'speedC': '-100' 
163
'speedA': '0' 
164
'speedB': '-100' 
165
'speedC': '-100' 
166
'speedA': '0' 
167
'speedB': '-100' 
168
'speedC': '-100' 
169
'speedA': '0' 
170
'speedB': '-100' 
171
'speedC': '-100' 
172
'speedA': '0' 
173
'speedB': '-100' 
174
'speedC': '-100' 
175
'speedA': '0' 
176
'speedB': '-100' 
177
'speedC': '-100' 
178
'speedA': '0' 
179
'speedB': '-100' 
180
'speedC': '-100' 
181
'speedA': '0' 
182
'speedB': '-100' 
183
'speedC': '-100' 
184
'speedA': '0' 
185
'speedB': '-100' 
186
'speedC': '-100' 
187
'speedA': '0' 
188
'speedB': '-100' 
189
'speedC': '-100' 
190
'speedA': '0' 
191
'speedB': '-100' 
192
'speedC': '-100' 
193
'speedA': '0' 
194
'speedB': '-100' 
195
'speedC': '-100' 
196
'speedA': '0' 
197
'speedB': '-100' 
198
'speedC': '-100' 
199
'speedA': '0' 
200
'speedB': '-100' 
201
'speedC': '-100' 
202
'speedA': '0' 
203
'speedB': '-100' 
204
'speedC': '-100' 
205
'speedA': '0' 
206
'speedB': '-100' 
207
'speedC': '-100' 
208
'speedA': '0' 
209
'speedB': '-100' 
210
'speedC': '-100' 
211
'speedA': '0' 
212
'speedB': '-100' 
213
'speedC': '-100' 
214
'speedA': '0' 
215
'speedB': '-100' 
216
'speedC': '-100' 
217
'speedA': '0' 
218
'speedB': '-100' 
219
'speedC': '-100' 
220
'speedA': '0' 
221
'speedB': '-100' 
222
'speedC': '-100' 
223
'speedA': '0' 
224
'speedB': '-100' 
225
'speedC': '-100' 
226
'speedA': '0' 
227
'speedB': '-100' 
228
'speedC': '-100' 
229
'speedA': '0' 
230
'speedB': '-100' 
231
'speedC': '-100' 
232
'speedA': '0' 
233
'speedB': '-100' 
234
'speedC': '-100' 
235
'speedA': '0' 
236
'speedB': '-100' 
237
'speedC': '-100' 
238
'speedA': '0' 
239
'speedB': '-100' 
240
'speedC': '-100' 
241
'speedA': '0' 
242
'speedB': '-100' 
243
'speedC': '-100' 
244
'speedA': '0' 
245
'speedB': '-100' 
246
'speedC': '-100' 
247
'speedA': '0' 
248
'speedB': '-100' 
249
'speedC': '-100' 
250
'speedA': '0' 
251
'speedB': '-100' 
252
'speedC': '-100' 
253
'speedA': '0' 
254
'speedB': '-100' 
255
'speedC': '-100' 
256
'speedA': '0' 
257
'speedB': '-100' 
258
'speedC': '-100' 
259
'speedA': '0' 
260
'speedB': '-100' 
261
'speedC': '-100' 
262
'speedA': '0' 
263
'speedB': '-100' 
264
'speedC': '-100' 
265
'speedA': '0' 
266
'speedB': '-100' 
267
'speedC': '-100' 
268
'speedA': '0' 
269
'speedB': '-100' 
270
'speedC': '-100' 
271
'speedA': '0' 
272
'speedB': '-100' 
273
'speedC': '-100' 
274
'speedA': '0' 
275
'speedB': '-100' 
276
'speedC': '-100' 
277
'speedA': '0' 
278
'speedB': '-100' 
279
'speedC': '-100' 
280
'speedA': '0' 
281
'speedB': '-100' 
282
'speedC': '-100' 
283
'speedA': '0' 
284
'speedB': '-100' 
285
'speedC': '-100' 
286
'speedA': '0' 
287
'speedB': '-100' 
288
'speedC': '-100' 
289
'speedA': '0' 
290
'speedB': '-100' 
291
'speedC': '-100' 
292
'speedA': '0' 
293
'speedB': '-100' 
294
'speedC': '-100' 
295
'speedA': '0' 
296
'speedB': '-100' 
297
'speedC': '-100' 
298
'speedA': '0' 
299
'speedB': '-100' 
300
'speedC': '-100' 
regression_tests/lustre_files/success/lego_robot/controller/lego_anti_windup_lego_anti_windup_input_values
1
95
2
79
3
97
4
18
5
27
6
32
7
29
8
48
9
88.50104857090425
10
9
11
20
12
79
13
30
14
14
15
55
16
26
17
58
18
23.376371371728688
19
49
20
8
21
18
22
94
23
91
24
75
25
53
26
70
27
85.93887522936676
28
96
29
63
30
38
31
68
32
36
33
84
34
84
35
44
36
99.26365051337086
37
97
38
35
39
10
40
99
41
70
42
21
43
93
44
21
45
7.471543714116402
46
10
47
45
48
88
49
23
50
14
51
22
52
86
53
98
54
86.73543491049205
55
86
56
97
57
73
58
31
59
31
60
77
61
22
62
20
63
68.00112281099526
64
22
65
76
66
50
67
28
68
75
69
5
70
73
71
11
72
34.49129867861265
73
26
74
97
75
1
76
2
77
20
78
70
79
90
80
84
81
37.9118658435175
82
98
83
44
84
49
85
26
86
28
87
79
88
22
89
6
90
87.50438047551475
91
37
92
36
93
99
94
69
95
7
96
11
97
50
98
7
99
86.59489481024724
... This diff was truncated because it exceeds the maximum size that can be displayed.

Also available in: Unified diff