Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002469Frama-CDocumentation > websitepublic2019-08-07 18:562019-08-07 18:56
Assigned Tobobot 
PlatformOSOS Version
Product VersionFrama-C 19-Potassium 
Target VersionFixed in Version 
Summary0002469: wrong test path given in Compiling from source - Quick Start"
DescriptionIn [^]
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

- Relationships

-  Notes
There are no notes attached to this issue.

- 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

Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker