PER-encoding issue: Semi-constrained integer encoding is incorrectly working

[andpopov]

Hi,

I seem that semi-constrained integer PER-encoding is working incorrectly:

asn.1 description is:
HelloWorld DEFINITIONS ::= BEGIN
Message ::= SEQUENCE {
n1 INTEGER(5..MAX)
}
END

Input is: {'n1': 8}

Encoding result is: 0x0108

But expected value is: 0x0103

I understand that value should be encoded as: (8 - 5)
It means: (value - lower boundary)

Code snipped is here:

from future import print_function
from binascii import hexlify
import asn1tools

SPECIFICATION = '''
HelloWorld DEFINITIONS ::= BEGIN
Message ::= SEQUENCE {
n1 INTEGER(5..MAX)
}
END'''

hello_world = asn1tools.compile_string(SPECIFICATION, 'per')

message = {'n1': 8}
encoded = hello_world.encode('Message', message)
decoded = hello_world.decode('Message', encoded)

print('Encoded:', hexlify(encoded).decode('ascii'))

[eerimoq]

Ok, thanks for the report. I'll not likely fix it myself. Feel free to help out.