Property |
---|
Assertion 1: (! ((!door1.isDoorClosed && door1.isDoorLocked) || (!door2.isDoorClosed && door2.isDoorLocked))) |
Assertion 2: (! ((!door1.isDoorClosed || !door2.isDoorClosed) && (door1.isDoorLocked && door2.isDoorLocked))) |
Assertion 3: (! (train.isRun && (!door1.isDoorClosed || !door2.isDoorClosed))) |
Assertion 4: (! (train.isRun && (!door1.isDoorLocked || !door2.isDoorLocked))) |
Assertion 5: (! (platform == 1 && !door2.isDoorClosed)) |
Assertion 6: (! (platform == 2 && !door1.isDoorClosed)) |
Assertion 7: (! (platform == 1 && !door2.isDoorLocked)) |
Assertion 8: (! (platform == 2 && !door1.isDoorLocked)) |