src/transformations/native_nn_prover.ml · aeb70feda54f254f36b8d4b7de148adb531b1424 · 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
```