Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002054Frama-Cptestspublic2015-01-22 14:252015-01-22 14:25
Reportervalentin.perrelle 
Assigned Tovirgile 
PrioritynormalSeverityminorReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
Product VersionFrama-C GIT, precise the release id 
Target VersionFixed in Version 
Summary0002054: ptest doesn't abort tests for which the command is incorrect
Descriptionptest has the following behavior when the command used to invoke frama-c is incorrect. First, the command is executed and the error reported by the shell. ptest continues using a previously generated output for the test. If the previous output was correct, it concludes that all tests passed.

When the command is put directly in the test file, tests update may introduce errors in this command line. It should be reported that the test does not pass due to incorrect command provided.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2015-01-22 14:25 valentin.perrelle New Issue
2015-01-22 14:25 valentin.perrelle Status new => assigned
2015-01-22 14:25 valentin.perrelle Assigned To => virgile


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker