[Tests] adds bitwise_SUITES = value

ptests/ptests.ml

@@ -1044,7 +1044,7 @@ let command_string ~env ~result_fmt ~oracle_fmt command =
         let filter = Str.global_replace regexp foracle filter in
          Format.fprintf result_fmt
           "(rule ; FILTER %s #%d OF TEST FILE %S\n  \
-            (action (with-stdout-to %S (system %S)))\n\
+            (action (with-stdout-to %S (with-accepted-exit-codes (or 0 1 2 125) (system %S))))\n\
            )@."
           txt
           command.nth command.file

tests/ptests_config

@@ -16,7 +16,7 @@ IGNORE= DEFAULT_SUITES= make_run_script
 IGNORE= DEFAULT_SUITES= value/numerors
 
 IGNORE= apron_SUITES = value
-IGNORE= bitwise_SUITES = value
+bitwise_SUITES = value
 IGNORE= equalities_SUITES = value
 IGNORE= gauges_SUITES = value
 IGNORE= octagon_SUITES = value

tests/value/.gitignore

-/oracle_*

tests/value/empty_struct2.c

-/* run.config
+/* run.config*
    STDOPT: +"-machdep gcc_x86_64"
 */
 

tests/value/oracle_bitwise/addition.res.oracle

+121,123c121
+< [eva] addition.i:52: 
+<   Assigning imprecise value to p10.
+<   The imprecision originates from Arithmetic {addition.i:52}
+---
+> [eva] addition.i:52: Assigning imprecise value to p10.
+163a162
+>   {{ garbled mix of &{p1} (origin: Misaligned {addition.i:52}) }}
+165a165
+>   {{ garbled mix of &{p2} (origin: Misaligned {addition.i:56}) }}
+186c186
+<   p10 ∈ {{ garbled mix of &{p1} (origin: Arithmetic {addition.i:52}) }}
+---
+>   p10 ∈ {{ garbled mix of &{p1} }}
+405a406
+>   {{ garbled mix of &{p1} (origin: Misaligned {addition.i:52}) }}
+429c430
+<   p10 ∈ {{ garbled mix of &{p1} (origin: Arithmetic {addition.i:52}) }}
+---
+>   p10 ∈ {{ garbled mix of &{p1} }}

tests/value/oracle_bitwise/bitwise.res.oracle

+96c96,99
+< [eva] bitwise.i:158: Frama_C_show_each_dead: {0}
+---
+> [eva] bitwise.i:156: 
+>   The evaluation of the expression x & 2
+>   led to bottom without alarms:
+>   at this point the product of states has no possible concretization.

tests/value/oracle_bitwise/bitwise_pointer.res.oracle

+34,36c34
+< [eva] bitwise_pointer.i:18: 
+<   Assigning imprecise value to p.
+<   The imprecision originates from Arithmetic {bitwise_pointer.i:18}
+---
+> [eva] bitwise_pointer.i:18: Assigning imprecise value to p.
+41,43c39
+< [eva] bitwise_pointer.i:22: 
+<   Assigning imprecise value to p1.
+<   The imprecision originates from Arithmetic {bitwise_pointer.i:22}
+---
+> [eva] bitwise_pointer.i:22: Assigning imprecise value to p1.

tests/value/oracle_bitwise/logic_ptr_cast.res.oracle

+8,10c8
+< [eva] logic_ptr_cast.i:8: 
+<   Assigning imprecise value to p.
+<   The imprecision originates from Arithmetic {logic_ptr_cast.i:8}
+---
+> [eva] logic_ptr_cast.i:8: Assigning imprecise value to p.