seahorn/crab

Add widening with thresholds in apron domains

caballa opened this issue · 0 comments

caballa commented

It requires to implement make_thresholds in apron_domains.hpp.

There are at least two examples:

  • tests/domains/test2-rat.cc
  • tests/domains/test3-rat.cc

that would be benefit.