redesign symbolic domain
chudicek opened this issue · 0 comments
chudicek commented
currently, (the new) implementation of symbolic domain assumes that SymbolicDomain can encode arbitrary object (not just number). this is not true for our current domains - counterexample is BinaryIntegerDomain, where the max_value must be known to be able to decide whether given value can be encoded using this domain