tree c929f9813248d47a3911b4f2c8479f0a969501d9
parent 5d4f2e4858c8ce9cda00c4b6b2bef6876aeae153
author Marc Kupietz <kupietz@ids-mannheim.de> 1734416146 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1737562336 +0100

Support lt and gt integer comparisons

Change-Id: If17b7da35f43ecb9c3c69cb91f404cdc21db5392