Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001685Frama-CPlug-in > wppublic2014-03-12 16:502017-03-14 10:15
Reporterjens 
Assigned Tocorrenson 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionno change required 
PlatformOSOS Version
Product VersionFrama-C Fluorine-20130601 
Target VersionFixed in Version 
Summary0001685: Axiomatic is recompiled when using severalprocesses
DescriptionWhen verifying with alt-ergo and coq the file Axiomatic seems to be compiled again and again.
As far as I understood, alt-ergo seems to kill the coq process.
Steps To ReproduceIn fact, I noticed this problem in Neon.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0006385)
jens (reporter)
2017-03-14 10:01

I think this issue is not relevant anymore.
I suggest to close it.

- Issue History
Date Modified Username Field Change
2014-03-12 16:50 jens New Issue
2014-03-12 16:50 jens Status new => assigned
2014-03-12 16:50 jens Assigned To => correnson
2017-03-14 10:01 jens Note Added: 0006385
2017-03-14 10:15 yakobowski Status assigned => closed
2017-03-14 10:15 yakobowski Resolution open => no change required


Copyright © 2000 - 2017 MantisBT Team
Powered by Mantis Bugtracker