(kernel)
| 46 | |
| 47 | |
| 48 | def test_frontend_process_simple(kernel): |
| 49 | src = "def foo : Nat := 42\n" |
| 50 | out = kernel.process(src) |
| 51 | # New constants from the def should be present. |
| 52 | assert "foo" in out |
| 53 | |
| 54 | |
| 55 | def test_frontend_collect_sorrys_no_sorries(kernel): |