diff options
| author | Maria Matejka <mq@ucw.cz> | 2019-08-14 16:22:39 +0200 |
|---|---|---|
| committer | Maria Matejka <mq@ucw.cz> | 2020-05-01 15:19:12 +0200 |
| commit | a0d0a71a1828cce725c3132f8c243bf0c537786f (patch) | |
| tree | 8a879a5265bf3b3bd435c45d049daad297796387 /.gitignore | |
| parent | a1b61a271af40a9d6ef0837424ab2c98d29f1575 (diff) | |
Expensive check declaration
Intended to be run at every operation with complex data structures
to check their consistency and validity.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions