Missing functions to convert logic terms directly to abstract values (#1602) · Issues · pub / frama-c