Jon Ross-Perkins
|
129f31710d
Disable autoupdate in explorer tests. (#4023)
|
1 year ago |
Richard Smith
|
212188a922
Prefer to put STDOUT CHECK at the end of the file. (#3073)
|
2 years ago |
Jon Ross-Perkins
|
82f33ff384
Use new test framework in explorer to reduce per-test overhead (#2811)
|
3 years ago |
Richard Smith
|
4daaa4866f
Rename `Type` -> `type`, per #2360. (#2507)
|
3 years ago |
Jon Ross-Perkins
|
eac7c2bda4
Automate the addition of RUN and simplify RUN lines (#2292)
|
3 years ago |
Jon Ross-Perkins
|
e111418b32
Merge and label stdout/stderr for FileCheck (#2283)
|
3 years ago |
Richard Smith
|
b1c50bd6a7
Revert "Fix: Issue #1394 (#2266)" (#2285)
|
3 years ago |
pmqtt
|
6cf2272bbe
Fix: Issue #1394 (#2266)
|
3 years ago |
Jon Ross-Perkins
|
b9d3d9a3df
Unify lit.cfg.py approach (#2249)
|
3 years ago |
Richard Smith
|
b74d3f80f1
Add a new kind of Witness value that carries an expression (#1324)
|
3 years ago |