search

angr / claripy

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

ModelCacheMixin: Force all ASTs to exist in the cache before using for max() and min(). Close #309. #310

Closed ltfish closed 1 year ago

github-actions[bot] commented 1 year ago

Unit Test Results

     93 files  +     83       93 suites  +83   1h 8m 7s :stopwatch: + 1h 7m 37s 1 397 tests +1 094  1 307 :heavy_check_mark: +1 064  90 :zzz: +30  0 :x: ±0  1 403 runs  +1 100  1 313 :heavy_check_mark: +1 070  90 :zzz: +30  0 :x: ±0 

Results for commit 9210290c. ± Comparison against base commit 59f1a0b8.

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