tree 090ee321f4674079e5a5bf73aa2e4608f311ecbf
parent 60f05c39496bd57bf301bab18983f2abc46aac7b
author Simon Shields <simon.shields@data61.csiro.au> 1568681694 +1000
committer Simon Shields <simon.shields@data61.csiro.au> 1569282402 +1000

libsel4test: fix compilation on GCC 9

Each 'struct testcase' is aligned to 64 bytes. Use the testcase_t type
instead of 'struct testcase' declaring the array to make the compiler
realise this and avoid -Waddress-of-packed-member.