52void cleanup(void) ;
53#line 1 "scenario.c"
54void test(void)
55{
56
57 {
58 {
59#line 2
60 aliceCall();
61#line 3
62 angelinaCall();
63#line 4
64 threeTS();
65#line 5
66 bobCall();
67#line 6
68 cleanup();
69 }
70#line 59 "scenario.c"
71 return;
72}
73}
74#line 1 "wsllib_check.o"
75#pragma merger(0,"wsllib_check.i","")
76#line 3 "wsllib_check.c"
77void __automaton_fail(void)
78{
79
80 {
81 goto ERROR;
82 ERROR: ;
83#line 53 "wsllib_check.c"
84 return;
85}
86}
87#line 1 "Specification13_spec.o"
88#pragma merger(0,"Specification13_spec.i","")
89#line 45 "Elevator.h"
90int weight = 0;
91#line 47 "Elevator.h"
92int maximumWeight = 100;