search

angr / claripy

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

Pass Z3 StringVs with implicit zero pads explicitly #316

Closed zwimer closed 1 year ago

zwimer commented 1 year ago

Fixes: https://github.com/angr/claripy/issues/315

github-actions[bot] commented 1 year ago

Unit Test Results

     94 files  ±0       94 suites  ±0   1h 13m 26s :stopwatch: - 3m 29s 1 399 tests ±0  1 309 :heavy_check_mark: ±0  90 :zzz: ±0  0 :x: ±0  1 405 runs  ±0  1 315 :heavy_check_mark: ±0  90 :zzz: ±0  0 :x: ±0 

Results for commit 9cc9dd3a. ± Comparison against base commit 728cc9d1.

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