trailofbits/manticore

Fix terminated states resurrection
#1326

disconnect3d wants to merge fix-terminated-states-resurrection into master

Compare on GitHub

We do not currently have an analysis of these two commits