Closed sebastianpoeplau closed 1 year ago
These commits fix problems with symbolic expressions for floats and Booleans in structs, which were caused by the fact that the SMT solver represents those types of values with expressions of non-bitvector kind.
These commits fix problems with symbolic expressions for floats and Booleans in structs, which were caused by the fact that the SMT solver represents those types of values with expressions of non-bitvector kind.