Skip to content

Commit

Permalink
Get rid of the last "Internal Error" message in verrou_dd
Browse files Browse the repository at this point in the history
(related to point 6. in gh-7)
  • Loading branch information
ffevotte committed Jun 19, 2018
1 parent 7dd0628 commit 6525492
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion verrou_dd
Original file line number Diff line number Diff line change
Expand Up @@ -378,7 +378,7 @@ class DDsym(DDvr):
failure()

def allDeltaFailedMsg(self,deltas):
print "FAILURE: internal error"
print "FAILURE: when verrou perturbs all parts of the program, its output is still detected as stable."
print "Suggestions:"
print "\t1) check if the number of samples VERROU_DD_NRUNS is sufficient"
print "\t2) check the correctness of the %s script : the failure criteria may be too large"%self.compare_
Expand Down

0 comments on commit 6525492

Please sign in to comment.