liquid-fixpoint: disable shared executables to fix the test suite
The test suite runs "fixpoint" in an environment where the required library search paths aren't set up properly.
parent
bf09054f
Please register or sign in to comment
The test suite runs "fixpoint" in an environment where the required library search paths aren't set up properly.