lean4-htt/tests/lean/server
2020-12-23 20:00:36 +01:00
..
diags.lean chore: fix tests 2020-10-25 09:11:13 -07:00
diags.lean.expected.out chore: suppress extraMsg in type mismatch errors 2020-10-06 10:58:50 -07:00
diags_client.log feat: server tests 2020-08-31 06:50:01 -07:00
edits.lean chore: fix tests 2020-10-25 09:11:13 -07:00
edits.lean.expected.out chore: suppress extraMsg in type mismatch errors 2020-10-06 10:58:50 -07:00
edits_client.log feat: server tests 2020-08-31 06:50:01 -07:00
init_exit.lean feat: port basic server tests 2020-12-23 20:00:36 +01:00
init_exit_worker.lean feat: port basic server tests 2020-12-23 20:00:36 +01:00
init_vscode_1_47_2.log feat: port basic server tests 2020-12-23 20:00:36 +01:00
open_empty.log feat: port basic server tests 2020-12-23 20:00:36 +01:00
test_single.sh feat: port basic server tests 2020-12-23 20:00:36 +01:00