| commit | 3ce275d772eac56202180d2372943c5e352c5ae6 | [log] [tgz] |
|---|---|---|
| author | Sam Leffler <sleffler@google.com> | Tue Jan 31 01:11:15 2023 +0000 |
| committer | Sam Leffler <sleffler@google.com> | Tue Jan 31 19:01:35 2023 +0000 |
| tree | 44b139fcaebf4d61d65b4f6349779d1f0d9b095b | |
| parent | 2ec70f31149c4ae86fb3f46b65c9f3ef7c0cc7b9 [diff] |
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