(options -replace instrument)

(s.deref2.c -main (coverage branch multi relational))

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

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