tree 2a0ad7aa9c1ccf224366adebc1e1be1571c55f4e
parent 9ab61b603d1c4b5f6b045a7adca25c1d84b92d17
author Gilles Peskine <Gilles.Peskine@arm.com> 1551129078 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1551176957 +0100

Test abort after failed setup

Commit "Smoke-test operation contexts after setup+abort" replaced
{failed-setup; abort} sequences by {failed-setup; successful-setup}.
We want to test that, but we also want to test {failed-setup; abort}.
So test {failed-setup; abort; failed-setup; successful-setup}.