Robust improvements - Githubissues

R-Fuzz / symsan

A LLVM Sanitizer for Symbolic Tracing

Apache License 2.0

206 stars 29 forks source link

Robust improvements #32

Closed ChengyuSong closed 5 months ago

ChengyuSong commented 5 months ago

Replaced most assertions with error / exceptions, added a timeout