tree 506eaf722681380325bde2a5a9de784697915ba9
parent f44fdf4fc4867afa946b0c2bb644b744a50981f5
author Mark Dykes <mark.dykes@arm.com> 1710524962 -0500
committer Mark Dykes <mark.dykes@arm.com> 1738340604 -0600
gpgsig -----BEGIN PGP SIGNATURE-----
 
 iQGzBAABCgAdFiEEoKtISeCWCrGOmJ4FT6Ya+XjjwqQFAmec+QAACgkQT6Ya+Xjj
 wqQ0Ygv/VbH2sk/Mz/1YKSF0Ld0rhTp9RCGiIrTDt5OKZbngtadYRxbgZEhMqDbP
 /mtdbIfiIiXHssklPuVc293YxfCFF1kRorZbPKYXGtg7zbiE3TF8+kHKfzyIO9rn
 7/rAwBjdoSCb4aEvfjT5X0fDwQmPABmJD0kR+iYJrww00/NljULtZaHd/KXiQ54t
 kEPCij2FXm964c+lyKOa6bW6VoMHx6vwDox1g6XQVMfEcGYqm29d2SSYi7ynEaPr
 dOnpFhg3iUQbgzSrBkFiA38ZSbbw+tNxl+f2+8rytMKK3Wzm8Gh4gs1MlZZnC9DJ
 FfhZbrSRB8a83s0wRMLaEooW9yxHxIxCKl/RUVPC2/9unbxnVA12XPSLMWlPkuMb
 9f5archYqP7+OmyF9x7RWg+1CBo+GQO9Ng9X9Mmrqb08vHkwv5+Dg3dxuzPYghbM
 hsHZLbEJSJLUA7r1U8I3QTocTzvpWaeK2mdq1F7Dg8xnKDJTwG1GLwEvc3N8IjQZ
 B1mcftFf
 =+hVg
 -----END PGP SIGNATURE-----

test(fuzz): Capability for random inputs

Adding model for random inputs to SMC calls using a
constraint mechanism with a multi tiered sanity
metric.

Change-Id: Ia750fa57359baa424f1af273ba24483ae7330c38
Signed-off-by: Mark Dykes <mark.dykes@arm.com>