a3cb39eac9
This PR migrates most remaining tests to the new test suite. It also completes the migration of directories like `tests/lean/run`, meaning that PRs trying to add tests to those old directories will now fail.
20 lines
462 B
Text
20 lines
462 B
Text
|
|
set_option format
|
|
--^ completion
|
|
|
|
set_option format.in
|
|
--^ completion
|
|
|
|
set_option trace.pp.ana
|
|
--^ completion
|
|
|
|
set_option trace.pp.analyze
|
|
--^ completion
|
|
|
|
set_option format true
|
|
--^ completion
|
|
|
|
set_option format.
|
|
--^ completion
|
|
|
|
#check false -- curiously completion with a trailing dot worked even before special casing if triggered on the last token
|