src/trywhy3/try-python.patch · 4f60b36bbea4dd010424471401dd3068f5281b6a · Why3 / why3 · GitLab

Find file Blame History Permalink

trywhy3: add a patch to switch to the python input · 4f60b36b
Andrei Paskevich authored Mar 06, 2017
```
TODO: make this a configurable option
```
4f60b36b