PeterJCLaw/srcomp-dev — pull request #2 by prophile (2014-03-29 23:57:42+00:00)
Title: Make run-all-tests portable

The tests, at least, now run on Mac OS X.