artiq/lit-test/test/inferencer/error_assert.py
whitequark 862ac1f90d lit-test/compiler -> lit-test/test.
Other directories in lit-test will host various parts of
the test harness.
2015-07-27 04:13:29 +03:00

7 lines
205 B
Python

# RUN: %python -m artiq.compiler.testbench.inferencer +diag %s >%t
# RUN: OutputCheck %s --file-to-check=%t
x = "A"
# CHECK-L: ${LINE:+1}: error: assertion message must be a string literal
assert True, x