Update z3 to version 4.12.1.0

[twizmwazin]

No description provided.

[github-actions]

Test Results

     87 files  +     77       87 suites  +77   1h 28m 13s ⏱️ + 1h 27m 34s
1 324 tests +1 018  1 234 ✔️ +988  80 💤 +20  10 ❌ +10 
1 329 runs  +1 023  1 239 ✔️ +993  80 💤 +20  10 ❌ +10 

For more details on these failures, see this check.

Results for commit ae4cf7c. ± Comparison against base commit 22750da.

This pull request removes 30 and adds 1048 tests. Note that renamed tests count towards both.

test_ast ‑ test_associativity
test_backend_smt.TestSMTLibBackend ‑ test_int_to_str_simplification
test_backend_smt.TestSMTLibBackend ‑ test_replace
test_backend_smt.TestSMTLibBackend ‑ test_suffix_simplification
test_backend_smt_abc.SmtLibSolverTest_ABC ‑ test_is_digit
test_backend_smt_abc.SmtLibSolverTest_ABC ‑ test_replace_simplification
test_backend_smt_composite.SmtLibSolverTest_Z3 ‑ test_concat
test_backend_smt_composite.SmtLibSolverTest_Z3 ‑ test_is_digit_simplification
test_backend_smt_composite.SmtLibSolverTest_Z3 ‑ test_str_to_int
test_backend_smt_congruency.SmtLibSolverTestCongruency ‑ test_congruency_2
…

analyses.cfg_slice_to_sink.test_cfg_slice_to_sink.TestCFGSliceToSink ‑ test_add_transitions_updates_the_slice
analyses.cfg_slice_to_sink.test_cfg_slice_to_sink.TestCFGSliceToSink ‑ test_get_transitions_from_slice
analyses.cfg_slice_to_sink.test_cfg_slice_to_sink.TestCFGSliceToSink ‑ test_nodes
analyses.cfg_slice_to_sink.test_cfg_slice_to_sink.TestCFGSliceToSink ‑ test_path_between_deals_with_loops
analyses.cfg_slice_to_sink.test_cfg_slice_to_sink.TestCFGSliceToSink ‑ test_path_between_returns_True_only_if_there_exists_at_least_a_path_between_two_nodes_in_the_slice
analyses.cfg_slice_to_sink.test_cfg_slice_to_sink.TestCFGSliceToSink ‑ test_transitions_as_tuples
analyses.cfg_slice_to_sink.test_graph.TestGraph ‑ test_slice_callgraph_mutates_the_original_graph
analyses.cfg_slice_to_sink.test_graph.TestGraph ‑ test_slice_callgraph_remove_content_not_in_a_cfg_slice_to_sink
analyses.cfg_slice_to_sink.test_graph.TestGraph ‑ test_slice_cfg_graph_mutates_the_original_graph
analyses.cfg_slice_to_sink.test_graph.TestGraph ‑ test_slice_cfg_graph_remove_content_not_in_a_cfg_slice_to_sink
…

This pull request removes 7 skipped tests and adds 27 skipped tests. Note that renamed tests count towards both.

test_backend_smt_composite.SmtLibSolverTest_Z3 ‑ test_concat
test_backend_smt_composite.SmtLibSolverTest_Z3 ‑ test_is_digit_simplification
test_backend_smt_composite.SmtLibSolverTest_Z3 ‑ test_str_to_int
test_backend_smt_congruency.SmtLibSolverTestCongruency ‑ test_congruency_2
test_backend_smt_z3.SmtLibSolverTest_Z3 ‑ test_concat
test_backend_smt_z3.SmtLibSolverTest_Z3 ‑ test_is_digit_simplification
test_backend_smt_z3.SmtLibSolverTest_Z3 ‑ test_str_to_int

test_cacher.TestCacher ‑ test_cacher
test_calling_convention_analysis.TestCallingConventionAnalysis ‑ test_cgc_binary2
test_cfgemulated.TestCfgemulate ‑ test_cfg_0
test_cfgemulated.TestCfgemulate ‑ test_cfg_1
test_cfgemulated.TestCfgemulate ‑ test_cfg_2
test_cfgemulated.TestCfgemulate ‑ test_cfg_3
test_cfgemulated.TestCfgemulate ‑ test_cfg_4
test_cfgemulated.TestCfgemulate ‑ test_cfg_5
test_cfgemulated.TestCfgemulate ‑ test_loop_unrolling
test_detourbackend_arm.Tests ‑ test_replace_function_patch_with_function_reference_and_rodata
…

♻️ This comment has been updated with latest results.

[twizmwazin]

The bug I was hoping might be solved with this isn't and the Ci failures are non-trivial enough that I don't plan on finishing this.