idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-30 07:02:24 +03:00
Code Issues Projects Releases Wiki Activity
c217911573
Idris2/libs/test/Test
History
Guillaume ALLAIS c217911573 [ fix ] Only pass --cg to test exec if requested 
Do not pass a codegen choice when the test pool specifies it does
not require a codegen to be specified.
2021-06-24 16:36:03 +01:00
..
Golden.idr [ fix ] Only pass --cg to test exec if requested 2021-06-24 16:36:03 +01:00