Revision 5d70e1d5f413ef2ebca4f805e26b77c544a1e1ef authored by disconnect3d on 13 February 2019, 16:27:29 UTC, committed by disconnect3d on 13 February 2019, 16:27:29 UTC
This was an internal function used just once and it was recreated each time the _consume was executed which can be slow.
1 parent c113a13
| File | Mode | Size |
|---|---|---|
| utils | ||
| __init__.py | -rw-r--r-- | 102 bytes |
| test_smtlibv2.py | -rw-r--r-- | 31.9 KB |
Computing file changes ...
