diff options
Diffstat (limited to 'test/lit/help/wasm2js.test')
| -rw-r--r-- | test/lit/help/wasm2js.test | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/lit/help/wasm2js.test b/test/lit/help/wasm2js.test index 2994a1f59..32dda7f4c 100644 --- a/test/lit/help/wasm2js.test +++ b/test/lit/help/wasm2js.test @@ -146,6 +146,9 @@ ;; CHECK-NEXT: content can actually appear in ;; CHECK-NEXT: each location ;; CHECK-NEXT: +;; CHECK-NEXT: --gufa-cast-all GUFA plus add casts for all +;; CHECK-NEXT: inferences +;; CHECK-NEXT: ;; CHECK-NEXT: --gufa-optimizing GUFA plus local optimizations in ;; CHECK-NEXT: functions we modified ;; CHECK-NEXT: |