(options -replace instrument -readlog)

(multi.c -main
	(test11 (coverage relational multi))	
	(test10 (coverage relational))
	(test01 (coverage multi))
	(test00 (coverage -multi)))

(options check_standard)
