Add example from java showing legit satisfaction cycle
[cdsspec-compiler.git] / test / rmw2prog.c
2013-01-08 Brian Demskynew test case