tests/bin/pyrat.py · 889177e1db27be67e29cf6aeb4deb46533c8713f · pub / caisar · GitLab

Snippets Groups Projects

3 years ago
889177e1
Absolutize the path of nnet given to provers · 889177e1
François Bobot authored 3 years ago
```
           - more robust
           - fix a perhaps why3 change
```
889177e1

History
Absolutize the path of nnet given to provers
François Bobot authored 3 years ago
```
           - more robust
           - fix a perhaps why3 change
```