Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002316Frama-CPlug-in > PathCrawlerpublic2017-07-06 11:112017-07-07 11:53
Reporterpriyanka k 
Assigned Tonicky 
PriorityimmediateSeverityminorReproducibilityunable to reproduce
StatusassignedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0002316: Instrumentation Failure Error in Online Pathcrawler
DescriptionI am using Pathcrawler online, in which i am trying to upload and test my C code.I uploaded the .zip archive file and Test function as main and after giving relative path i clicked on Test with default parameters but It is showing Instrumentation Failure Error.It is attached in below files.Please assist me as early as possible.
TagsNo tags attached.
Attached Filesjpg file icon fileuploading.JPG [^] (81,466 bytes) 2017-07-06 11:11

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2017-07-06 11:11 priyanka k New Issue
2017-07-06 11:11 priyanka k Status new => assigned
2017-07-06 11:11 priyanka k Assigned To => muriel
2017-07-06 11:11 priyanka k File Added: fileuploading.JPG
2017-07-07 11:53 signoles Assigned To muriel => nicky


Copyright © 2000 - 2017 MantisBT Team
Powered by Mantis Bugtracker