Leonardo de Moura e2ee2d4bd9 chore(tests/compiler): add deriv test		2019-02-07 16:56:40 -08:00
..
t1.lean	feat(tests/compiler): add first test	2019-02-07 12:14:25 -08:00
t1.lean.expected.out	feat(tests/compiler): add first test	2019-02-07 12:14:25 -08:00
t2.lean	chore(tests/compiler): add deriv test	2019-02-07 16:56:40 -08:00
t2.lean.expected.out	chore(tests/compiler): add deriv test	2019-02-07 16:56:40 -08:00
test.sh	feat(tests/compiler): add first test	2019-02-07 12:14:25 -08:00
test_flags.sh.in	chore(tests/compiler/test_flags): include release flags	2019-02-07 16:30:30 -08:00