edwinb/Idris-dev — pull request #310 by hannesm (2013-05-10 06:59:56+00:00)
Title: Instead of using the installed global idris for tests,

pass the PATH to the current compiled one to test and use this