Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002484Frama-CPlug-in > wppublic2019-11-08 13:032019-11-08 13:03
Reporterjens 
Assigned Tocorrenson 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusassignedResolutionopen 
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

- Relationships

-  Notes
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


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker