diff options
| author | Daniele Varrazzo <daniele.varrazzo@gmail.com> | 2019-09-04 14:58:04 +0100 |
|---|---|---|
| committer | Daniele Varrazzo <daniele.varrazzo@gmail.com> | 2019-09-04 18:17:51 +0100 |
| commit | f08019e3568dd845bbefaffbe27c4909cf491d15 (patch) | |
| tree | a85491c791c19bdd85a6dcaf2fbd161bc2c65267 /scripts/make_errors.py | |
| parent | 33d3c074fa2a7591ab539c625bad1c934e21fc37 (diff) | |
Added decorator to clean up the adaptation mappings after tests
Many tests were doing it manually, some weren't doing it and resulted in
failure if run in different order.
Close #948
Diffstat (limited to 'scripts/make_errors.py')
0 files changed, 0 insertions, 0 deletions