angr / claripy

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

Prefer builtin constructors #327

Closed zwimer closed 1 year ago

github-actions[bot] commented 1 year ago

Unit Test Results

     94 files  ±0       94 suites  ±0   1h 28m 15s :stopwatch: + 5m 45s 1 428 tests ±0  1 338 :heavy_check_mark: ±0  90 :zzz: ±0  0 :x: ±0  1 434 runs  ±0  1 344 :heavy_check_mark: ±0  90 :zzz: ±0  0 :x: ±0 

Results for commit 390899d7. ± Comparison against base commit 5f08756f.

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