pykat/finesse.py · 88de7f96e7082b872ee9118828e64f552b1ca41f · Sebastian Steinlechner / pykat · GitLab

Find file Blame History Permalink

chaning error behaviour a little: if Finesse returns · 88de7f96
Andreas Freise authored Jan 16, 2014
```
an error I would prefer to just print that and exit(1).
```
88de7f96