Skip to content

BVTypeExtractor should not be sealed

Viktor Kuncak requested to merge github/fork/manoskouk/master into master

Created by: manoskouk

Other projects may want to create extractors for unsigned bitvector types, so it seems this class should be extensible

Merge request reports