model: proactively build/prune is_enabled() set
[c11tester.git] / test / rmw2prog.c
2013-01-08 Brian Demskynew test case