Bad.idr
|
Added test for incorrect FFI C usage.
|
2016-09-15 10:15:53 +01:00 |
expected.out
|
Rename expected, input and run
|
2020-01-25 01:44:54 +01:00 |
ffi009.c
|
Added test for incorrect FFI C usage.
|
2016-09-15 10:15:53 +01:00 |
ffi009.h
|
Added test for incorrect FFI C usage.
|
2016-09-15 10:15:53 +01:00 |
Good.idr
|
Added test for incorrect FFI C usage.
|
2016-09-15 10:15:53 +01:00 |
run.sh
|
Rename expected, input and run
|
2020-01-25 01:44:54 +01:00 |