(options -replace force_weak)

(coverage branch)

(if.c -main
	(test7 (coverage operand branch))
	(test6 (coverage operand -branch))
	(test5 (coverage -operand branch))
	(test4 (coverage -operand -branch))
	(test3 (coverage operator branch))
	(test2 (coverage operator -branch))
	(test1 (coverage -operator branch))
	(test0 (coverage -operator -branch))
)
(quest.c -main
	(test7 (coverage operand branch))
	(test6 (coverage operand -branch))
	(test5 (coverage -operand branch))
	(test4 (coverage -operand -branch))
	(test3 (coverage operator branch))
	(test2 (coverage operator -branch))
	(test1 (coverage -operator branch))
	(test0 (coverage -operator -branch))
)
(quest2.c -main
	(coverage  branch operand)
)
(switch.c -main
	(test7 (coverage operand branch))
	(test6 (coverage operand -branch))
	(test5 (coverage -operand branch))
	(test4 (coverage -operand -branch))
	(test3 (coverage operator branch))
	(test2 (coverage operator -branch))
	(test1 (coverage -operator branch))
	(test0 (coverage -operator -branch))
)
(switch2.c -main (coverage operator branch))
(switch3.c -main)
(switch4.c -main)
(switch5.c -main (coverage operator branch))
(switch6.c -main (coverage branch loop operand))
(switch7.c -main (coverage branch loop operand))
(switch8.c -main (coverage branch loop ))

(while.c -main (coverage operator branch loop))

(while2.c -main
	(test11 (coverage branch loop))
	(test10 (coverage branch -loop))
	(test01 (coverage -branch loop))
	(test00 (coverage -branch -loop))
)
(while3.c -main (coverage operator -branch))
(while4.c -main (coverage branch loop))

(do.c -main (coverage operator branch loop))

(do2.c -main
	(test11 (coverage branch loop))
	(test10 (coverage branch -loop))
	(test01 (coverage -branch loop))
	(test00 (coverage -branch -loop))
)
(do3.c -main (coverage branch loop))

(loop1.c -main (coverage branch loop))
(loop2.c -main (coverage branch loop))
(loop3.c -main (coverage branch loop))
(loop4.c -main (coverage branch loop))
(loop5.c -main (coverage branch loop))
(loop6.c -main (coverage branch loop))
(loop7.c -main (coverage branch loop))
(loop8.c -main (coverage branch loop))


(for.c -main (coverage operator branch loop))

(for2.c -main
	(test11 (coverage branch loop))
	(test10 (coverage branch -loop))
	(test01 (coverage -branch loop))
	(test00 (coverage -branch -loop))
)
(for3.c -main (coverage branch loop))
(for4.c -main -compare (coverage branch loop operator))
(for5.c -main -compare (coverage operand))
(options check_weak)
(options -produce-object)
(logfile GLOG)
(options -readlog)
