search

cuter-testing / cuter

A concolic testing tool for the Erlang functional programming language.
GNU General Public License v3.0
210 stars 20 forks source link

Fix makefile when using a Python virtual environment #182

Closed neoaggelos closed 2 years ago

neoaggelos commented 3 years ago

Summary

Closes #181, using the proposed solution.

Please let me know if an alternative solution is preferred.

kostis commented 3 years ago

Looks OK and I suggest we merge this, but it's not clear how to best test such changes (or, more generally, that CutEr still builds and works as it should on virtual environments).