0000061: frama-c --help - 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

0000061

Frama-C

Kernel

public

2009-04-24 13:20

2009-06-23 18:03

Reporter

gmelquio

Assigned To

signoles

Priority

normal

Severity

minor

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS

OS Version

Product Version

Frama-C GIT, precise the release id

Target Version

Fixed in Version

Frama-C Beryllium-20090601-beta1

Summary

0000061: frama-c --help

Description

$ frama-c --help
frama-c: option `--help' is unknown.
Use `frama-c --help' for more information.

Yeah, right... (revision 5126)

Tags

No tags attached.

Relationships

Notes
(0000027) signoles (manager) 2009-04-24 16:21	Since the new implementation of the command line in the svn, some options (like --help) do not exist. Adding them again is future work. The usage message should be update accordingly. Actually, for getting the help of frama-c, do "frama-c -help" with the current svn version (5098).

Issue History
Date Modified	Username	Field	Change
2009-04-24 13:20	gmelquio	New Issue
2009-04-24 16:21	signoles	Note Added: 0000027
2009-04-24 16:22	signoles	Status	new => confirmed
2009-04-24 16:24	signoles	Relationship added	child of 0000051
2009-05-04 23:30	monate	Status	confirmed => assigned
2009-05-04 23:30	monate	Assigned To	=> signoles
2009-05-15 11:09	svn	Checkin
2009-05-15 11:09	svn	Status	assigned => resolved
2009-05-15 11:09	svn	Resolution	open => fixed
2009-06-23 18:02	signoles	Status	resolved => closed
2009-06-23 18:03	signoles	Fixed in Version	=> Frama-C Beryllium beta-1

Copyright © 2000 - 2017 MantisBT Team