Frama-C Bug Tracking System - Frama-C
View Issue Details
0001832Frama-CPlug-in > wppublic2014-07-14 15:122015-03-17 22:18
Jochen 
correnson 
normaltrivialalways
closedfixed 
xubuntu-cfe13.10
 
Frama-C Sodium 
0001832: typo in wp output: "interruped"-->"interrupted"
Complete output was: frama-c -wp-prover alt-ergo,cvc4 -wp -wp-rte gui01.c [kernel] preprocessing with "gcc -C -E -I. gui01.c" [wp] Running WP plugin... [wp] Collecting axiomatic usage [rte] annotating function main [wp] 1 goal scheduled [wp] [Alt-Ergo] Goal typed_main_assert : Unknown [wp] [cvc4] Goal typed_main_assert : Timeout [wp] Proved goals: 0 / 1 Alt-Ergo: 0 (unknown: 1) cvc4: 0 (interruped: 1)
No tags attached.
has duplicate 0001930closed correnson Status of POs: the word "interruped" should be "interrupted" 
Issue History
2014-07-14 15:12JochenNew Issue
2014-07-14 15:12JochenStatusnew => assigned
2014-07-14 15:12JochenAssigned To => correnson
2014-09-05 14:12corrensonNote Added: 0005439
2014-09-05 14:12corrensonStatusassigned => acknowledged
2014-09-11 12:59Note Added: 0005449
2014-09-11 12:59Statusacknowledged => resolved
2014-09-11 12:59Resolutionopen => fixed
2014-09-26 15:55corrensonRelationship addedhas duplicate 0001930
2014-09-26 17:27virgileProjectFrama-Clang => Frama-C
2015-03-17 22:17signolesFixed in Version => Frama-C Sodium
2015-03-17 22:18signolesStatusresolved => closed

Notes
(0005439)
correnson   
2014-09-05 14:12   
Fixed
(0005449)
   
2014-09-11 12:59   
Fix committed to master branch.