search

thomasjball / PyExZ3

Python Exploration with Z3
Other
323 stars 49 forks source link

Add colored terminal output to test runner #5

Closed thpani closed 10 years ago