search

angr / claripy

An abstraction layer for constraint solvers.
BSD 2-Clause "Simplified" License
275 stars 90 forks source link

Update z3 to 4.12.2.0 #354

Closed twizmwazin closed 1 month ago

twizmwazin commented 1 year ago

z3 finally released an update with my patch that fixes pyinstaller compatibility with newer versions. I'd like to sort out any compatibility issues and try to update.

github-actions[bot] commented 1 year ago

Test Results

     96 files  +     86       96 suites  +86   1h 34m 22s :stopwatch: + 1h 33m 46s 1 482 tests +1 171  1 391 :heavy_check_mark: +1 140  90 :zzz: +30  0 :x: ±0  1 :fire: +1  1 488 runs  +1 177  1 397 :heavy_check_mark: +1 146  90 :zzz: +30  0 :x: ±0  1 :fire: +1 

For more details on these errors, see this check.

Results for commit ce2e5223. ± Comparison against base commit ff1bb615.

:recycle: This comment has been updated with latest results.

twizmwazin commented 1 year ago

This is a much better result than last time, but I'm not really sure how to best debug a timeout here.

syheliel commented 1 year ago

the ci is re-triggered. It seems that the upgrade causes some real problems. You can have a look at what the CI does in https://github.com/angr/ci-settings and debug it in your local machine.

rhelmot commented 1 year ago

Bestie you're talking to the guy who built ci-settings