Open caballa opened 6 years ago
It requires to implement make_thresholds in apron_domains.hpp.
make_thresholds
apron_domains.hpp
There are at least two examples:
tests/domains/test2-rat.cc
tests/domains/test3-rat.cc
that would be benefit.
It requires to implement
make_thresholdsinapron_domains.hpp.There are at least two examples:
tests/domains/test2-rat.cctests/domains/test3-rat.ccthat would be benefit.