wrong test path given in Compiling from source - Quick Start"
ID0002469: This issue was created automatically from Mantis Issue 2469. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002469 | Frama-C | Documentation > website | public | 2019-08-07 | 2020-02-17 |
| Reporter | abutterfield | Assigned To | virgile | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C 19-Potassium | Target Version | - | Fixed in Version | Frama-C 20-Calcium |
Description :
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
Steps To Reproduce :
Follow the Quick Start instructions - or simple look at the contents of tests/misc and tests/value in the source distribution.