0002469: wrong test path given in Compiling from source - Quick Start" - Frama-C Bug Tracking System

Frama-C Bug Tracking System

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0002469

Frama-C

Documentation > website

public

2019-08-07 18:56

2020-02-17 18:08

Reporter

abutterfield

Assigned To

virgile

Priority

normal

Severity

minor

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS

OS Version

Product Version

Frama-C 19-Potassium

Target Version

Fixed in Version

Frama-C 20-Calcium

Summary

0002469: wrong test path given in Compiling from source - Quick Start"

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.

Tags

No tags attached.

Relationships

Notes
(0006873) virgile (developer) 2019-09-20 13:59	This should me fixed now. Thanks for the report.

(0006941) signoles (manager) 2020-02-17 18:08	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

Copyright © 2000 - 2020 MantisBT Team