diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-04-14 22:39:47 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-04-14 22:39:47 +0100 |
| commit | cc267845c8a4f954cdf9402ade03196be16148ea (patch) | |
| tree | d9d868be0dc60ed1f4e4bd7c1a3bf1ee27c48b5b /MetaSMT.mk | |
| parent | 9efe135e3072c115af92c3f163c9d3e12ca57fb1 (diff) | |
| download | klee-cc267845c8a4f954cdf9402ade03196be16148ea.tar.gz | |
This test passes under 2.9, so it cannot be used as an XFAIL. We can enable it after the division bug is fixed.
Diffstat (limited to 'MetaSMT.mk')
0 files changed, 0 insertions, 0 deletions