pvs.drv 183 Bytes
Newer Older
1

2
(*
3 4
prelude "% This file is generated by Why3's PVS driver"
prelude "% Beware! Only edit allowed sections below   "
5
*)
6 7 8 9 10

printer "pvs"
filename "%f_%t_%g.pvs"

import "pvs-common.gen"