# This directory contains some tests for the now-defunct cliche
# instrumentation.  That's been removed, but the tests have not been 
# changed - they're harmlessly redundant.

(options -replace force_weak)

(scaffold.c -main -out
	(coverage operator))
(plus.c -main -out (coverage operator operand)
	(cause1 (coverage -operator operand))
	(cause2 (coverage operator -operand))
)

(minus.c -main -out (coverage operator operand)
	(turned_off (coverage -operator))
	(cause1b (coverage -operator))
)

(less.c -main -out (coverage operator operand)
	(cause3 (coverage -operator))
	(instr_off (coverage -operator))
)
(less2.c -main -out
	(cliche_only (coverage ))
	(cliche_both (coverage  operator))
)
(greater.c -main -out (coverage operator operand)
	(instr_off (coverage -operator))
)
(greater2.c -main -out
	(cliche_only (coverage ))
	(cliche_both (coverage  operator))
)
(lesseq.c -main -out (coverage operator operand)
	(instr_off (coverage -operator))
)
(lesseq2.c -main -out
	(cliche_only (coverage ))
	(cliche_both (coverage  operator))
)
(greatereq.c -main -out (coverage operator operand)
	(instr_off (coverage -operator))
)
(greatereq2.c -main -out
	(cliche_only (coverage ))
	(cliche_both (coverage  operator))
)
	
(times.c -main -out (coverage operator operand)
	(turned_off (coverage -operator))
	(nesting (coverage -operand))
)
(div.c -main -out (coverage operator operand)
	(turned_off (coverage -operator))
)
(mod.c -main -out (coverage operator operand)
	(turned_off (coverage -operator))
	(nesting (coverage -operand))
)
(lshift.c -main -out (coverage operator operand)
	(turned_off (coverage -operator))
	(nesting (coverage -operand))
)
(rshift.c -main -out (coverage operator operand)
	(nesting (coverage -operand))
	(turned_off (coverage -operator))
)

(eq+neq.c (coverage operand))	# Just so gct-map gets something in it.
(options check_weak)
(options -produce-object)
(logfile GLOG)
(options -readlog -writelog)
