author | boehmes |
Tue, 20 Oct 2009 10:11:30 +0200 | |
changeset 33006 | 39f73a59e855 |
permissions | -rw-r--r-- |
boehmes@33006 | 1 |
(benchmark Isabelle |
boehmes@33006 | 2 |
:assumption (not (= (sign_extend[2] bv10[4]) bv58[6])) |
boehmes@33006 | 3 |
:formula true |
boehmes@33006 | 4 |
) |