search

angr / claripy

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

Bump pysmt to stable version #330

Closed twizmwazin closed 1 year ago

twizmwazin commented 1 year ago

This bumps pysmt to be a stable version. Some tools like pipenv are weird when pinning dev versions.

github-actions[bot] commented 1 year ago

Unit Test Results

     94 files  +     84       94 suites  +84   1h 46m 0s :stopwatch: + 1h 45m 32s 1 438 tests +1 132  1 348 :heavy_check_mark: +1 102  90 :zzz: +30  0 :x: ±0  1 444 runs  +1 138  1 354 :heavy_check_mark: +1 108  90 :zzz: +30  0 :x: ±0 

Results for commit 014af8c2. ± Comparison against base commit 1ded1439.

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