Prelude from custom driver files not extracted
When specifying several driver files when using why3 extract
, only preludes from the first driver are taken into account.
Here is a first example driver (driver1.drv
):
prelude "Prelude A"
prelude "Prelude B"
printer "ocaml"
And a second driver (driver2.drv
):
prelude "Prelude C"
And the extraction (why3 extract -D driver1.drv -D driver2.drv test.mlw
) shows Prelude A
and B
but I am missing C
:
Prelude A
Prelude B