diff options
| author | Gloria Mundi <gloria@gloria-mundi.eu> | 2024-05-01 21:25:26 +0200 |
|---|---|---|
| committer | Gloria Mundi <gloria@gloria-mundi.eu> | 2024-05-01 21:25:26 +0200 |
| commit | e0beaa56b648367bc52dc8c7d44162ac1c8b45fe (patch) | |
| tree | 8320be6afe8953e1cf4cc98b00ba87e1ba66e58a /test.h | |
| parent | 5e012c297016f928260b9a4cb00b24de2d415df9 (diff) | |
slightly simplify lazy propagation and add tests
Diffstat (limited to 'test.h')
0 files changed, 0 insertions, 0 deletions