BitcodeIntegerConstraint

constructor(field: BitcodeMemoryField, allowedValues: List<Long>)
Generated with STIG