Anonymous Login Frama-C issues should now be submitted on Frama-C's GitLab
2021-03-06 03:33 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0002469Frama-CDocumentation > websitepublic2020-02-17 18:08
Assigned Tovirgile 
Product VersionFrama-C 19-Potassium 
Target VersionFixed in VersionFrama-C 20-Calcium 
Summary0002469: wrong test path given in Compiling from source - Quick Start"
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




virgile (developer)

This should me fixed now. Thanks for the report.


signoles (manager)

Fixed in Frama-C 20.0 (Calcium).

-Issue History
Date Modified Username Field Change
2019-08-07 18:56 abutterfield New Issue
2019-08-07 18:56 abutterfield Status new => assigned
2019-08-07 18:56 abutterfield Assigned To => bobot
2019-09-20 13:59 virgile Note Added: 0006873
2019-09-20 13:59 virgile Assigned To bobot => virgile
2019-09-20 13:59 virgile Status assigned => resolved
2019-09-20 13:59 virgile Resolution open => fixed
2020-02-17 18:06 signoles Fixed in Version => Frama-C 20-Calcium
2020-02-17 18:08 signoles Status resolved => closed
2020-02-17 18:08 signoles Note Added: 0006941
+Issue History