a6475a2Make a mechanism for os-dependent output of testsNiklas Larsson12 years ago 9f5fb08Need to wrap PATH in quotes to avoid chars being interpreted as shellNiklas Larsson12 years ago 3078c0bMake tests work with sandboxesMattias Lundell12 years ago 526cd75Add assert_smaller functionEdwin Brady13 years ago ea4997eRun 'diff' on test failureEdwin Brady13 years ago 20ffcfdAdd 'without' command to test scriptEdwin Brady13 years ago c5444acMake runtest.pl execute run scripts directlyMarkus Pfeiffer13 years ago 3558c7cChange from shebangs with absolute references to using /usr/bin/envMarkus Pfeiffer13 years ago 3c32b65Whitespace cleanup.George Leontiev13 years ago f90e2d7runtest.pl revised and cleaned upJürgen Peters13 years ago ba73fa2Allow tests to be parallelizedJason Gross13 years ago faad05cInstead of using the installed global idris for tests, pass the PATH to the current compiled one to test and use thisHannes Mehnert14 years ago a567873Proper executable and object file creation via maven + need for run_java tests removedJan Bessai14 years ago 43056d6Backend support for JavaJan Bessai14 years ago 614c682Fully compiles and tests under windows mingw32Chetan T14 years ago 2c6ad9bInfrastructure for passing of parameters to idris during testsBenjamin Saunders14 years ago fad1c1cWarn when generating a setter for a record fails ...rather than failing (since it may just not work for dependent records)Edwin Brady14 years ago 663c464Added test directory and a single test...Edwin Brady15 years ago