search

angr / claripy

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

CompositeSolver: The merged child solver should be of the transitive closure of variables. #320

Closed ltfish closed 1 year ago

ltfish commented 1 year ago

Close https://github.com/angr/angr/issues/3604.

github-actions[bot] commented 1 year ago

Unit Test Results

     94 files  +     94       94 suites  +94   1h 21m 31s :stopwatch: + 1h 21m 31s 1 400 tests +1 400  1 310 :heavy_check_mark: +1 310  90 :zzz: +90  0 :x: ±0  1 406 runs  +1 406  1 316 :heavy_check_mark: +1 316  90 :zzz: +90  0 :x: ±0 

Results for commit a6cdc8d1. ± Comparison against base commit b6da78b1.

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