(coverage branch multi loop relational operator operand)
lc.c
(options check_weak)
(options -produce-object)
(logfile GLOG)
(options -readlog -writelog)
