tree 44b139fcaebf4d61d65b4f6349779d1f0d9b095b
parent 2ec70f31149c4ae86fb3f46b65c9f3ef7c0cc7b9
author Sam Leffler <sleffler@google.com> 1675127475 +0000
committer Sam Leffler <sleffler@google.com> 1675191695 +0000

sim:tests: add support for running sel4test or sel4test+wrapper

- parameterize shodan_sel4test.robot to use either sel4test or
  sel4test+wrapper build artifacts (default sel43est)
- add a --wrapper option to test.sh to enable sel4test+wrapper use

Note the default is sel4test because sel4test+wrapper is (temporarily)
broken.

Change-Id: I512ea1d7ef9f49aacd43e0b83c9937cbb3153876