307 if (expectedDirection == 1) {
308 {
309#line 40
310 tmp = getCurrentHeading();
311 }
312#line 40
313 if (tmp == 0) {
314 {
315#line 41
316 __automaton_fail();
317 }
318 } else {
319
320 }
321 } else {
322
323 }
324 }
325#line 41
326 return;
327}
328}
329#line 1 "wsllib_check.o"
330#pragma merger(0,"wsllib_check.i","")
331#line 3 "wsllib_check.c"
332void __automaton_fail(void)
333{
334
335 {
336 goto ERROR;
337 ERROR: ;
338#line 53 "wsllib_check.c"
339 return;
340}
341}
342#line 1 "UnitTests.o"
343#pragma merger(0,"UnitTests.i","")
344#line 12 "Person.h"
345int getOrigin(int person ) ;
346#line 20 "Floor.h"
347void initPersonOnFloor(int person , int floor ) ;