Instrumentation Failure Error in Online Pathcrawler
ID0002316: This issue was created automatically from Mantis Issue 2316. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002316 | Frama-C | Plug-in > pathcrawler | public | 2017-07-06 | 2017-07-07 |
| Reporter | priyanka k | Assigned To | nicky | Resolution | open |
| Priority | immediate | Severity | minor | Reproducibility | unable to reproduce |
| Platform | - | OS | - | OS Version | - |
| Product Version | - | Target Version | - | Fixed in Version | - |
Description :
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.
