FE_* API is available on OpenBSD
ID0002379: This issue was created automatically from Mantis Issue 2379. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002379 | Frama-C | Kernel > libc | public | 2018-06-18 | 2018-11-30 |
| Reporter | madroach | Assigned To | maroneze | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | any | OS | OpenBSD | OS Version | 6.3 |
| Product Version | - | Target Version | - | Fixed in Version | Frama-C 18-Argon |
Description :
please include attached patch.