This repository has been archived by the owner on Oct 7, 2020. It is now read-only.
Make sure the liquid haskell test files are generated for unit-test#1438
Merged
alanz merged 1 commit intohaskell:masterfrom alanz:liquid-testsNov 6, 2019
+23-14
