src/driver/driver.ml · 50dbba85de4249dba3d861feefaac5ec386e776d · Why3 / why3 · GitLab

Find file Blame History Permalink

- accept non-splitting transformations only in driver files · 50dbba85
Andrei Paskevich authored Apr 21, 2010
```
- apply transformations in Driver at print_task/prove_task
```
50dbba85

driver.ml 12.3 KB