diff options
| author | Kevin Sjöberg <mail@kevinsjoberg.com> | 2021-11-10 10:18:56 +0100 |
|---|---|---|
| committer | Kevin Sjöberg <mail@kevinsjoberg.com> | 2021-11-10 10:26:17 +0100 |
| commit | b8dec4268dd183e9afd9fa8d010b52df0b0c8b20 (patch) | |
| tree | 716900a7fb01481e69600426f835133cbdf66964 /src/ptr_set.cpp | |
| parent | fc920a630f8ace5c2f5d48e46b5c391f6556f45f (diff) | |
Postpone checking test procedures
The dependency set need to be generated before we check the testing
procedures. Otherwise `checker->info.testing_procedures` will be empty
and thus no filtering is taking place.
Diffstat (limited to 'src/ptr_set.cpp')
0 files changed, 0 insertions, 0 deletions