ucsd-progsys/liquidhaskell — pull request #102 by nikivazou (2013-07-27 19:36:31+00:00)
Title: flags to tests

adding no-terminatino flags to tests to make them pass with make all-tests