Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002379Frama-CKernel > libcpublic2018-06-18 16:552018-07-25 15:02
Reportermadroach 
Assigned Tomaroneze 
PrioritynormalSeverityminorReproducibilityalways
StatusconfirmedResolutionopen 
PlatformanyOSOpenBSDOS Version6.3
Product Version 
Target VersionFixed in Version 
Summary0002379: FE_* API is available on OpenBSD
Descriptionplease include attached patch.

TagsNo tags attached.
Attached Files? file icon patch-src_libraries_utils_c_bindings_c [^] (517 bytes) 2018-06-18 16:55 [Show Content]

- Relationships

-  Notes
(0006613)
maroneze (developer)
2018-07-25 15:02

I confirm that on OpenBSD (tested with 6.3) Frama-C 17 does not compile without the patch, but it does when patched.

Thanks for the report and the patch, it will be integrated in the next release.

- Issue History
Date Modified Username Field Change
2018-06-18 16:55 madroach New Issue
2018-06-18 16:55 madroach File Added: patch-src_libraries_utils_c_bindings_c
2018-07-11 15:31 signoles Assigned To => maroneze
2018-07-11 15:31 signoles Status new => assigned
2018-07-11 15:31 signoles Category Kernel => Kernel > libc
2018-07-11 15:31 signoles Description Updated View Revisions
2018-07-25 15:02 maroneze Note Added: 0006613
2018-07-25 15:02 maroneze Status assigned => confirmed


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker