diff options
| author | Aleksey Kladov <[email protected]> | 2020-02-17 15:57:06 +0000 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2020-02-17 15:57:06 +0000 |
| commit | 57140f1730b4ac39697bfad530409ac8472e4e9d (patch) | |
| tree | 1efc29623af8929e31fc90a34f1588bc24375985 /docs | |
| parent | b4c30fb8961177809646ccd72a7f62c7fd4fca4f (diff) | |
Drop proptest tests
It takes waaay to long to compile.
We should add quickcheck tests when we touch the relevant code next
time.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions