Update bench.
[why3.git] / examples / bitvectors / 
treea1dd576b8e942a43100627a64c3d42af6edee86e
drwxr-xr-x   ..
-rw-r--r-- 13118 bitvector.why
drwxr-xr-x - bitvector
-rw-r--r-- 2139 double.why
drwxr-xr-x - double
-rw-r--r-- 10913 double_of_int.why
drwxr-xr-x - double_of_int
-rw-r--r-- 1170 neg_as_xor.why
drwxr-xr-x - neg_as_xor
-rw-r--r-- 5103 power2.why
drwxr-xr-x - power2