(coverage branch)
(options -readlog)

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

# In switch8, just checking a special case, not executing code.
(switch8.c -main (coverage branch loop ) (options -produce-object -replace))

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

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

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

(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  branch loop relational))

(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 relational))
(for5.c -main -compare (coverage ))
(options check_standard)
