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
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
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: [^]

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