Frama-C Bug Tracking System - Frama-C
View Issue Details
0000736Frama-Cptestspublic2011-02-23 10:532014-02-12 16:59
signoles 
virgile 
highfeatureN/A
closedfixed 
 
Frama-C Nitrogen-20111001 
0000736: the input file should be the first argument to ptests
all in the title... Required in order to use -then* in tests.
No tags attached.
Issue History
2011-02-23 10:53signolesNew Issue
2011-02-23 10:53signolesStatusnew => assigned
2011-02-23 10:53signolesAssigned To => virgile
2011-02-24 11:27svnCheckin
2011-02-24 11:27svnStatusassigned => resolved
2011-02-24 11:27svnResolutionopen => fixed
2011-10-10 14:13signolesFixed in Version => Frama-C Nitrogen-20111001
2011-10-10 14:14signolesStatusresolved => closed
2014-02-12 16:59Note Added: 0004829
2014-02-12 16:59Statusclosed => resolved

Notes
(0004829)
   
2014-02-12 16:59   
Fix committed to stable/neon branch.