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 /test | |
| 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 'test')
| -rw-r--r-- | test/regression/2016-04-14-sdiv-2.c_ (renamed from test/regression/2016-04-14-sdiv-2.c) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/test/regression/2016-04-14-sdiv-2.c b/test/regression/2016-04-14-sdiv-2.c_
index 88a5fca3..88a5fca3 100644
--- a/test/regression/2016-04-14-sdiv-2.c
+++ b/test/regression/2016-04-14-sdiv-2.c_
|