seahorn/crab

Adaptative domain between a relational and non-relational domain

caballa opened this issue · 1 comments

From @caballa on October 15, 2016 23:37

Create a combined domain between e.g., (zones x terms) and intervals such that the domain is zones x terms if the number of variables does not exceed a threshold, otherwise it degrades to intervals.

Copied from original issue: caballa/crab#8

It hasn't been needed in a long time so I close it for now