Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002321Frama-CPlug-in > slicingpublic2017-07-26 11:142017-08-02 14:16
Reporterpriyanka k 
Assigned ToNikolai_Kosmatov 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusfeedbackResolutionopen 
PlatformOSwindowsOS Version10
Product Version 
Target VersionFixed in Version 
Summary0002321: crash
Descriptioni am trying to check my c code in frama-c boron version in windows 10, but is showing unexpected error crash please report to frama-c
TagsNo tags attached.
Attached Filesc file icon aicalgolndgwrng.c [^] (17,515 bytes) 2017-07-26 11:14 [Show Content]

- Relationships

-  Notes
(0006434)
virgile (developer)
2017-08-02 14:16

First, please note that Boron is an obsolete version that is unmaintained since many years. Instructions on how to compile Frama-C on windows are provided on the wiki: https://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:compiling_from_source#compiling_under_windows_cygwin_mingw [^]

If the issue persists with Frama-C 15 - Phosphorus, be sure to include in the bug report at least:
- the exact command line leading to the issue
- the error message, including the backtrace.

- Issue History
Date Modified Username Field Change
2017-07-26 11:14 priyanka k New Issue
2017-07-26 11:14 priyanka k Status new => assigned
2017-07-26 11:14 priyanka k Assigned To => Nikolai_Kosmatov
2017-07-26 11:14 priyanka k File Added: aicalgolndgwrng.c
2017-08-02 14:16 virgile Note Added: 0006434
2017-08-02 14:16 virgile Status assigned => feedback


Copyright © 2000 - 2017 MantisBT Team
Powered by Mantis Bugtracker