tree f0afdfec64ea07886b1fb19aea3e25d4747bdf9d
parent 5e9d2e901904c3cf2c9ee8f89429ef74d0daf148
author Werner Lewis <werner.lewis@arm.com> 1671025549 +0000
committer Werner Lewis <werner.lewis@arm.com> 1671107276 +0000

Specify modulus constraints

Signed-off-by: Werner Lewis <werner.lewis@arm.com>