tree 70cde9afe69ce3eb92f84691860a991407ab7650
parent a0a315c8157e98e075660a5c82f05cdb9e8f3409
author Gilles Peskine <Gilles.Peskine@arm.com> 1539941322 +0200
committer Darryl Green <darryl.green@arm.com> 1548778125 +0000

Add option to keep the temporary C files

Useful for debugging and for reviewing what test cases are generated.