diff options
| author | Columbus240 | 2020-09-12 22:18:31 +0200 |
|---|---|---|
| committer | Columbus240 | 2020-09-12 23:00:15 +0200 |
| commit | 1a9187c48d331c724b66fff2d0ac77a354a9f4e7 (patch) | |
| tree | dd3dfe1907309d20320b222190d697478b57b302 /src/libsail.mllib | |
| parent | 19573d9ce8448f8296195fe1990a6d88593b57f1 (diff) | |
Note in docs that some tests require cvc4
Diffstat (limited to 'src/libsail.mllib')
0 files changed, 0 insertions, 0 deletions