use bw4t.
use robot as knowledge.
use robot as module.
use robot as actionspec.
timeout = 300.

test main with
	pre { true }
	in {
		% Assignment 3.1: insert test conditions for the mandatory requirements.

		% Agent should not drop a block if it is not in a room
		never done(putDown), not(bel(in(RandomRoom))).

		% An agent should not pick up a block that is not of the next needed color
		never done(pickUp(Block)), not(bel(nextColorInSeq(Color))), bel(color(Block, Color)).

		% An agent that is holding a block that is not of the next needed color should not enter the drop zone
		bel(holding(Block), color(Block, Color), nextColorInSeq(Color)) leadsto not(bel(in('DropZone'))).

		% An agent should not leave the drop zone whilst holding a block.
		bel(holding(Block)), bel(in('DropZone')) leadsto not(bel(not(in('DropZone')))), not(bel(holding(Block))).

		% Assignment 3.2: insert any additional conditions for further requirements.

	}
	post { true }

robot {
	do main.
}