2021-03-01 04:33 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0002484Frama-CPlug-in > wppublic2019-11-08 13:03
Assigned Tocorrenson 
PrioritynormalSeverityminorReproducibilityhave not tried
PlatformLinuxOSxubuntuOS Version
Product VersionFrama-C GIT, precise the release id 
Target VersionFixed in Version 
Summary0002484: alt-ergo support in Frama-C 20 beta
DescriptionThis is a hint to (better) describe the transition from using alt-ergo in Frama-C 19 and 20.
If it is already described, then I apologize.

In Frama-C 19 and before one uses
   -wp-prover alt-ergo for the native interface and
   -wp-prover why3:alt-ergo for the Why3 interface

In Frama-C 20 the respective options are
  -wp-prover native:alt-ergo for the native interface and
  -wp-prover alt-ergo

I propose that it is described with other things in a short transition document.

TagsNo tags attached.
Attached Files


There are no notes attached to this issue.

-Issue History
Date Modified Username Field Change
2019-11-08 13:03 jens New Issue
2019-11-08 13:03 jens Status new => assigned
2019-11-08 13:03 jens Assigned To => correnson
+Issue History