A compiler caveat

uwplse · Apr 13, 2017 · 1622dce · 1622dce
1 parent c59c459
commit 1622dce
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -53,5 +53,5 @@ which are defined in our litmus test DSL in [ppc-all.rkt](litmus/tests/ppc-all.r
 
 MemSynth supports the [Herd](http://diy.inria.fr) format for litmus tests.
 We provide a [compiler](litmus/herd/compile.rkt) from that format
-(supporting only PowerPC tests)
+(supporting only PowerPC tests, without control flow)
 to MemSynth's litmus test DSL.