Frama-C Bug Tracking System - Frama-C
View Issue Details
0002469Frama-CDocumentation > websitepublic2019-08-07 18:562019-08-07 18:56
abutterfield 
bobot 
normalminoralways
assignedopen 
Frama-C 19-Potassium 
 
0002469: wrong test path given in Compiling from source - Quick Start"
In
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
Follow the Quick Start instructions - or simple look at the contents of tests/misc and tests/value in the source distribution.
No tags attached.
Issue History
2019-08-07 18:56abutterfieldNew Issue
2019-08-07 18:56abutterfieldStatusnew => assigned
2019-08-07 18:56abutterfieldAssigned To => bobot

There are no notes attached to this issue.