angr / ailment

AIL: The angr Intermediate Language.
BSD 2-Clause "Simplified" License
28 stars 17 forks source link

ITE.replace: Properly replace expressions when they are equal to old_exprs. #132

Closed ltfish closed 1 year ago

github-actions[bot] commented 1 year ago

Test Results

     88 files  +     86       88 suites  +86   1h 41m 35s :stopwatch: + 1h 41m 34s 1 163 tests +1 161  1 132 :heavy_check_mark: +1 130  30 :zzz: +30  0 :x: ±0  1 :fire: +1  1 169 runs  +1 167  1 138 :heavy_check_mark: +1 136  30 :zzz: +30  0 :x: ±0  1 :fire: +1 

For more details on these errors, see this check.

Results for commit c0ace758. ± Comparison against base commit 4ca4cb97.

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