tree eb1f138323df7c6eda30aaa05d601eb12ceed838
parent 545c28bf706382eb36d64838da95170e28c835f7
author Gilles Peskine <Gilles.Peskine@arm.com> 1567699093 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1567705021 +0200

Check inputs too