(options -replace force_weak)

(coverage operand)

(id.c -main)
(id_weak.c -main)
(array1.c -main
	(simple (coverage operator))
	(expect_no_operand_coverage (coverage operator -operand))
)
(array2.c -main)
(array3.c -main (options -constants))
(array_weak.c -main)
(arra_weak2.c -main)
(constant.c -main -permanent_string (coverage operator))
(sizeof.c -main (coverage operator))
(const_rel.c -main)
(sizeof_rel.c -main)

(dotref1.c -main -Sout -Snothing -Spnothing
	-no_instrumentation
)
(dotref2.c -main -Sout -Snothing -Spnothing)
(dotref3.c -main -Sout -Snothing -Spnothing)

(dotref4.c -main -Sout -Snothing -Spnothing
	(setter4 (coverage operator -operand))
)
(doterr.c -main -Sout -Snothing -Spnothing
	(setter4 (coverage operator -operand))
)
(dot_weak.c -main -Sout -Snothing -Spnothing)
(dot.nest.c -main -Sout -Snothing -Spnothing)
(dot.nest2.c -main (coverage -operand branch loop multi relational))

(arrowref1.c -main -Sout -Snothing -Spnothing
	-no_instrumentation
)
(arrowref2.c -main -Sout -Snothing -Spnothing)
(arrowref3.c -main -Sout -Snothing -Spnothing)

(arrowref4.c -main -Sout -Snothing -Spnothing
	(setter4 (coverage operator -operand))
)
(arrow_weak.c -main -Sout -Snothing -Spnothing)
(arrow.nest.c -main -Sout -Snothing -Spnothing -init)

(deref.c -main 
	(compat (coverage operand operator))
	(coverage_off (coverage -operand operator))
	(child1 (coverage operand -operator))
	(double_star (coverage operand))
)
(deref2.c -main (coverage operand operator))
(deref_weak.c -main (coverage operand -operator))

(null_guard.c -main)
(no_deref.c -main -permanent_string (options -dereference)
	(test1_on (options dereference))
	(test2_on (options dereference))
	(test3_on (options dereference))
)

(2level.c -main (coverage operand)
	-run_test_arrow_arrow
	-run_test_arrow_dot
	-run_test_arrow_array
	-run_test_arrow_deref
	-run_test_dot_arrow
	-run_test_dot_dot
	-run_test_dot_array
	-run_test_dot_deref
	-run_test_array_arrow
	-run_test_array_dot
	-run_test_array_array
	-run_test_array_deref
	-run_test_deref_arrow
	-run_test_deref_dotref
	-run_test_deref_array
	-run_test_deref_deref
	(test_dot_array (options -constants)))

(3level.c -main (coverage operand)
	-run_test1
	-run_test2
	-run_test3)

(union.c -main (coverage operand))
(2D.dot.c (coverage branch loop multi operator operand))
(2D.arrow.c (coverage branch loop multi operator operand))
(2D.star.c (coverage branch loop multi operator operand))
(2D.array.c (coverage branch loop multi operator operand)
	(options -constants)	# Known bug - see gct/TODO
)
(2D.check.c (coverage branch loop multi operator operand))
(2D.address.c (coverage branch loop multi operator operand))
(2D.nowork.c (coverage branch loop multi operator operand))



(options check_weak)
(options -produce-object)
(logfile GLOG)
(options -readlog -writelog)
