git.iko.soy/Idris-dev
on master help sign in
Idris-dev/test/ffi009
6 files
../ Bad.idrAdded test for incorrect FFI C usage. Good.idrAdded test for incorrect FFI C usage. expected.outRename expected, input and run ffi009.cAdded test for incorrect FFI C usage. ffi009.hAdded test for incorrect FFI C usage. run.shRename expected, input and run