Inspector/Executor Generation Library for manipulating sets and relations with uninterpreted function symbols.
BSD 2-Clause "Simplified" License
2
stars
4
forks
source link
Active out values includes constant return values #165
Closed
riftEmber closed 2 years ago
Should not include constant values because they are not data spaces. Additionally, this should be getting tested for.