FIX: Veritesting should return errored and pruned states (#744)
FIX: Veritesting should return errored and pruned states (#744)


f-prettyland/angr,tyb0807/angr,f-prettyland/angr,iamahuman/angr,schieb/angr,schieb/angr,angr/angr,iamahuman/angr,schieb/angr,f-prettyland/angr,angr/angr,iamahuman/angr,tyb0807/angr,angr/angr,tyb0807/angr