Frama-C Bug Tracking System - Frama-C
View Issue Details
0002316Frama-CPlug-in > pathcrawlerpublic2017-07-06 11:112017-07-07 11:53
priyanka k 
nicky 
immediateminorunable to reproduce
assignedopen 
 
 
0002316: Instrumentation Failure Error in Online Pathcrawler
I 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.
No tags attached.
jpg fileuploading.JPG (81,466) 2017-07-06 11:11
https://bts.frama-c.com/file_download.php?file_id=1195&type=bug
jpg
Issue History
2017-07-06 11:11priyanka kNew Issue
2017-07-06 11:11priyanka kStatusnew => assigned
2017-07-06 11:11priyanka kAssigned To => muriel
2017-07-06 11:11priyanka kFile Added: fileuploading.JPG
2017-07-07 11:53signolesAssigned Tomuriel => nicky
2018-11-30 10:50signolesCategoryPlug-in > PathCrawler => Plug-in > pathcrawler

There are no notes attached to this issue.