(options -replace -readlog)


(routine.c -main (coverage routine)
	(routine plain_function (coverage -branch -operator))
)

(call.c -main (coverage routine call))


(rout-bug.c -main (coverage routine))
(rout-comb1.c (coverage routine call)
  (offoff (coverage -routine -call))
  (offon (coverage -routine ))
  (onoff (coverage -call))
  -main
)
(rout-comb2.c (coverage routine)
  (offoff (coverage -routine))
  (offon (coverage -routine call))
  (onon (coverage call))
  -main
)
(rout-comb3.c (coverage call)
  (offoff (coverage -call))
  (onoff (coverage routine -call))
  (onon (coverage routine))
  -main
)
(rout-comb4.c 
  (offon (coverage call))
  (onoff (coverage routine))
  (onon (coverage routine call))
  -main
)
(call-comb.c 
  (offon (coverage branch))
  (onoff (coverage routine call))
  (onon (coverage routine call branch))
  -main
)


(call2.c -main -ret1 -retarg -addargs -addargs2 (coverage routine call))
(routine2.c -main (coverage routine))
(options check_standard)
