about summary refs log tree commit diff homepage
path: root/scripts/IStatsSum.py
diff options
context:
space:
mode:
authorHristina Palikareva <h.palikareva@imperial.ac.uk>2013-10-10 12:23:20 +0100
committerHristina Palikareva <h.palikareva@imperial.ac.uk>2013-10-11 20:02:33 +0100
commitf53b2ebc74acd9d31b54f21434e1b21eed7f5787 (patch)
treee634015a9287be2cb832e5bf6d37b3a0d8ab2600 /scripts/IStatsSum.py
parentd508fcc715277ea0a22c007ecde6ebc991d81841 (diff)
downloadklee-f53b2ebc74acd9d31b54f21434e1b21eed7f5787.tar.gz
getConstraintLog() of MetaSMTSolver explicitly states that this feature is not supported; a test case modified to not fail because of this.
Diffstat (limited to 'scripts/IStatsSum.py')
0 files changed, 0 insertions, 0 deletions