Merge pull request #9593 from gilles-peskine-arm/test-cases-not-executed-enforce-development

Test cases not executed: switch to enforcement mode