# DO NOT EDIT THE VERSION OF THIS FILE IN config.  IT IS CREATED AUTOMATICALLY.

(coverage branch)
(options instrument -produce-object -readlog -writelog)

-../dir1/program2.c
-program1.c
(options check_standard)
