Commit 31505b03 authored by Heiko Becker's avatar Heiko Becker

Remove unnecessary assertions

parent 5220fc97
......@@ -45,10 +45,8 @@ object CertificatePhase extends DaisyPhase {
reporter.info(s"Generating certificate for ${fnc.id}")
val thePrecondition = fnc.precondition
val theBody = fnc.body
//must be set
assert (ctx.intermediateAbsoluteErrors.get(fnc.id) != None)
val errorMap = ctx.intermediateAbsoluteErrors.get(fnc.id).get
assert (ctx.intermediateRanges.get(fnc.id) != None)
val rangeMap = ctx.intermediateRanges.get(fnc.id).get
prover match {
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment