Fix: not using timeout with bitwuzla backend

JonathanSalwan / Triton

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

https://triton-library.github.io

Apache License 2.0

3.39k stars 524 forks source link

Fix: not using timeout with bitwuzla backend #1328

Closed psi-func closed 1 month ago