tree af0debfe35cfe2af149e27d95eded12164fd3e6a
parent 8936ffe66ace704ee2bf4b3a153aa81e77f84c4d
author Andres Amaya Garcia <Andres.AmayaGarcia@arm.com> 1508271896 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1521729982 +0100

Make matching more robbust in generate_errors.pl