This bug prevents IKOS from being built for Bionic with Apron features
enabled, and will be a hindrance to distributing IKOS as a package in
the future.
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/18
Status changed to 'Confirmed' because the bug affects multiple users.
** Changed in: apron (Ubuntu)
Status: New => Confirmed
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1800041
Title:
bug
** Description changed:
Release:
- Ubuntu 18.04.1 LTS
- Debian 9
Version: 0.9.10-9build4
There is a bug in the apron package. The function
ap_pkgrid_manager_alloc() always returns NULL.
$ cat test.c
#include "ap_global0.h"
#include "ap_pkgrid.h"
#include "ap_ppl.h"
#inc