search

angr / claripy

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

Add backendz3 bits for fpToFPUnsigned #365

Closed rhelmot closed 11 months ago

rhelmot commented 11 months ago

Fixes an issue reported privately.

github-actions[bot] commented 11 months ago

Test Results

     96 files  +     86       96 suites  +86   1h 37m 17s :stopwatch: + 1h 36m 42s 1 506 tests +1 195  1 416 :heavy_check_mark: +1 165  90 :zzz: +30  0 :x: ±0  1 512 runs  +1 201  1 422 :heavy_check_mark: +1 171  90 :zzz: +30  0 :x: ±0 

Results for commit d1247524. ± Comparison against base commit 5dd1c40e.