Frama-C Bug Tracking System - Frama-C
View Issue Details
0002469Frama-CDocumentation > websitepublic2019-08-07 18:562020-02-17 18:08
Reporterabutterfield 
Assigned Tovirgile 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C 19-Potassium 
Target VersionFixed in VersionFrama-C 20-Calcium 
Summary0002469: wrong test path given in Compiling from source - Quick Start"
DescriptionIn
https://frama-c.com/install-19.0-Potassium.html#compiling-from-source
step 6 suggests a test involving "tests/misc/CruiseControl*.c".

In the Potassium distribution, that needs to be "tests/value/CruiseControl*.c".

I installed from source as a non-superuser, which works
Steps To ReproduceFollow the Quick Start instructions - or simple look at the contents of tests/misc and tests/value in the source distribution.
TagsNo tags attached.
Attached Files

Notes
(0006873)
virgile   
2019-09-20 13:59   
This should me fixed now. Thanks for the report.
(0006941)
signoles   
2020-02-17 18:08   
Fixed in Frama-C 20.0 (Calcium).

Issue History
2019-08-07 18:56abutterfieldNew Issue
2019-08-07 18:56abutterfieldStatusnew => assigned
2019-08-07 18:56abutterfieldAssigned To => bobot
2019-09-20 13:59virgileNote Added: 0006873
2019-09-20 13:59virgileAssigned Tobobot => virgile
2019-09-20 13:59virgileStatusassigned => resolved
2019-09-20 13:59virgileResolutionopen => fixed
2020-02-17 18:06signolesFixed in Version => Frama-C 20-Calcium
2020-02-17 18:08signolesStatusresolved => closed
2020-02-17 18:08signolesNote Added: 0006941