diff options
| author | 2022-11-01 15:10:17 +0000 | |
|---|---|---|
| committer | 2022-11-01 18:27:16 +0000 | |
| commit | f66ea6c4cbc5d44b2c34960488d66f690dd40f8d (patch) | |
| tree | 6318acb3413d20df13214d4280f2f33a86d526cf /test/1337-gc-coverage/run.py | |
| parent | 745d85d1af1a78c7795e3837662134c330f65a0c (diff) | |
Run-tests: Run checker after stdout/stderr diff.
There does not seem to be a reason to mix the two.
Run CFG checker as its own separate step.
Test: test.py -r --all-target --optimizing --64
Change-Id: I4a2e055206217244c4676dc1c953fe6a0f945358
Diffstat (limited to 'test/1337-gc-coverage/run.py')
0 files changed, 0 insertions, 0 deletions