(options -replace)
(options -produce-object)	# We want to check the instrumented files.
(options -readlog -writelog)

(race1.c (coverage race)
  -main

  race_simple
  (norace1 (coverage -race))
  (race2 (coverage routine))
  -my_invert_thread
  (empty_race (coverage race call))
  (race3 (coverage race routine call))
  (race4 (coverage call))
)

(race2.c
  -main
  (race_basic (coverage race routine call))
  (race2 (coverage race call))
  (race3 (coverage race routine))
)

(race3.c
  -main
  (race1 (coverage race routine))
  (race2 (coverage race))
  (subrace (coverage race routine))
)

(racemult.c
 -main
  (race_basic (coverage race multi branch))
  (race_basic2 (coverage race multi branch))
)

(longjmp.c
  -main
  (outer (coverage race routine))
  (middle1 (coverage race routine call))
  (middle2)
  (middle3 (coverage race))
  (middle4 (coverage race))
  (middle5 (coverage race routine))
  (middle6 (coverage routine))
  (middle7 (coverage routine))
  (middle8 (coverage call))
  (middle9 (coverage call race))
  (inner (coverage race routine call))
)

(pass1.c
  (routine1 (coverage race routine))
  (routine2 (coverage race routine call))
)

(pass2.c
  (routine3 (coverage race))
  -main)
(options check_standard)
