Restrict API of CFG array_assume method
caballa opened this issue · 0 comments
caballa commented
From @caballa on June 25, 2017 23:18
it takes two parameters that delimits a symbolic interval: lower and upper bounds, which can only be number or variables but the current type is a linear expression. So it's more general than it should be.
Copied from original issue: caballa/crab#18