angr / claripy

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

Warn on use of true division for BVs #311

Closed zwimer closed 1 year ago

github-actions[bot] commented 1 year ago

Unit Test Results

     94 files  +     84       94 suites  +84   1h 2m 40s :stopwatch: + 1h 2m 10s 1 398 tests +1 094  1 308 :heavy_check_mark: +1 064  90 :zzz: +30  0 :x: ±0  1 404 runs  +1 100  1 314 :heavy_check_mark: +1 070  90 :zzz: +30  0 :x: ±0 

Results for commit 0a550262. ± Comparison against base commit b5c4baa1.

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