diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2014-02-04 10:03:25 -0600 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2014-02-04 10:03:25 -0600 |
commit | 0ca6b72fa4546f81949fe08f3d8a0eb9251dc7c9 (patch) | |
tree | 71d341cddbad77b4b28e3e66bb3d1f2cea6a00d2 /test/system/smt2_compliance.cpp | |
parent | 9c00db91190ce2956efee1c721e6a1f8707a57b1 (diff) |
Do not use transitive closure module for cycle detection in datatypes (was bottleneck).
Diffstat (limited to 'test/system/smt2_compliance.cpp')
0 files changed, 0 insertions, 0 deletions