(options -replace instrument)

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

(options check_weak force_weak)
(options -produce-object)
(logfile GLOG)
(options -readlog -writelog)
