diff options
Diffstat (limited to 'test/regress/regress0/bv/core/slice-16.cvc')
-rw-r--r-- | test/regress/regress0/bv/core/slice-16.cvc | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/test/regress/regress0/bv/core/slice-16.cvc b/test/regress/regress0/bv/core/slice-16.cvc deleted file mode 100644 index 8a5b4bab9..000000000 --- a/test/regress/regress0/bv/core/slice-16.cvc +++ /dev/null @@ -1,5 +0,0 @@ -x: BITVECTOR(16); -ASSERT(x[15:15] = 0bin1); -ASSERT(x[15:2] = x[13:0]); -QUERY(x = 0bin1111111111111111); - |