leo/tests/compiler/import_local/input/dummy.in

mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-27 20:24:52 +03:00
[main]
y: bool = true;
n: bool = false;

[registers]
r0: bool = true;
removes import tests, fix ci, add constraint number check, more tests 2021-05-13 16:56:17 +03:00			`[main]`
			`y: bool = true;`
closes #1183 2021-08-04 23:34:11 +03:00			`n: bool = false;`
removes import tests, fix ci, add constraint number check, more tests 2021-05-13 16:56:17 +03:00
imports 2021-05-05 19:31:25 +03:00			`[registers]`
			`r0: bool = true;`