0000736: the input file should be the first argument to ptests - Frama-C Bug Tracking System

Frama-C Bug Tracking System

View Issue Details [ Jump to Notes ] [ Related Changesets ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0000736

Frama-C

ptests

public

2011-02-23 10:53

2014-02-12 16:59

Reporter

signoles

Assigned To

virgile

Priority

high

Severity

feature

Reproducibility

N/A

Status

closed

Resolution

fixed

Platform

OS

OS Version

Product Version

Target Version

Fixed in Version

Frama-C Nitrogen-20111001

Summary

0000736: the input file should be the first argument to ptests

Description

all in the title... Required in order to use -then* in tests.

Tags

No tags attached.

Relationships

Notes
(0004829) 2014-02-12 16:59	Fix committed to stable/neon branch.

Issue History
Date Modified	Username	Field	Change
2011-02-23 10:53	signoles	New Issue
2011-02-23 10:53	signoles	Status	new => assigned
2011-02-23 10:53	signoles	Assigned To	=> virgile
2011-02-24 11:27	svn	Checkin
2011-02-24 11:27	svn	Status	assigned => resolved
2011-02-24 11:27	svn	Resolution	open => fixed
2011-10-10 14:13	signoles	Fixed in Version	=> Frama-C Nitrogen-20111001
2011-10-10 14:14	signoles	Status	resolved => closed
2014-02-12 16:59		Note Added: 0004829
2014-02-12 16:59		Status	closed => resolved

Copyright © 2000 - 2020 MantisBT Team