# run a fixed number of the model based testing rounds with a single 'make'
test:
	$(MAKE) -C .. mbt
