Standard output
882824 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\specMath\bigint\Test.java
882824 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136ns
882824 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
882949 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
882949 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
882949 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
882949 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
883434 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
884950 DEBUG Test worker d.u.i.k.j.r.ClassPreparationMethodBuilder clPrepBuilder: Inner Class detected. Reject building class initialisation methods.
887514 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.68s
887514 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from ..\key.ui\examples\heap\vstte10_01_SumAndMax\src\SumAndMax.java
887514 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.5ns
887514 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
890829 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s
890844 INFO Test worker d.u.i.k.s.n.ContractLoadingTests self.sumAndMax(a) catch(exc)
pre: ( \forall int i;
( (0 <= i & i < a.length)<<SC>> & inInt(i)
-> 0 <= a[i])
& ((self.<inv><<impl>> & (!a = null)<<impl>>)<<SC>>))<<SC>>
post: (\forall int i;
( (0 <= i & i < a.length)<<SC>> & inInt(i)
-> a[i] <= self.max)
& (( ( a.length > 0
-> \exists int i;
(( (0 <= i
& i < a.length)<<SC>>
& inInt(i)
& self.max = a[i])<<SC>>))
& (( self.sum = bsum{int i;}(0, a.length, a[i])
& (( self.sum <= a.length * self.max
& self.<inv><<impl>>)<<SC>>))<<SC>>))<<SC>>))<<SC>>
& (exc = null)<<impl>>
mod: {(self, SumAndMax::$sum)}
\cup {(self, SumAndMax::$max)}
termination: diamond
890844 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1658\Test.java
890844 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 99.9ns
890844 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
893970 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s
893985 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\specMath\java\Test.java
893985 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.7ns
893985 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
895111 DEBUG Test worker d.u.i.k.j.r.ClassPreparationMethodBuilder clPrepBuilder: Inner Class detected. Reject building class initialisation methods.
897410 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s