Bug fix. Now our Veritesting is running faster than the referencing implementation from ICSE'14 paper :-)
Bug fix. Now our Veritesting is running faster than the referencing implementation from ICSE'14 paper :-)

avain/angr,GuardianRG/angr,avain/angr,haylesr/angr,fjferrer/angr,axt/angr,lowks/angr,mingderwang/angr,cureHsu/angr,zhuyue1314/angr,lowks/angr,chubbymaggie/angr,f-prettyland/angr,tyb0807/angr,mingderwang/angr,zhuyue1314/angr,schieb/angr,axt/angr,haylesr/angr,iamahuman/angr,tyb0807/angr,fjferrer/angr,axt/angr,tyb0807/angr,terry2012/angr,iamahuman/angr,chubbymaggie/angr,xurantju/angr,schieb/angr,f-prettyland/angr,angr/angr,angr/angr,f-prettyland/angr,terry2012/angr,schieb/angr,xurantju/angr,cureHsu/angr,GuardianRG/angr,angr/angr,iamahuman/angr,chubbymaggie/angr