Standard output
1184896 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\specMath\bigint\Test.java
1184896 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.2ns
1184896 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1185068 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
1185084 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
1185084 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
1185084 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
1185818 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
1187867 DEBUG Test worker d.u.i.k.j.r.ClassPreparationMethodBuilder clPrepBuilder: Inner Class detected. Reject building class initialisation methods.
1191275 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.37s
1191275 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from ..\key.ui\examples\heap\vstte10_01_SumAndMax\src\SumAndMax.java
1191275 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 274.4ns
1191275 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1195903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.62s
1195918 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
1195918 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1658\Test.java
1195918 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 123.1ns
1195934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1200499 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.57s
1200499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\specMath\java\Test.java
1200499 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.2ns
1200499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1202063 DEBUG Test worker d.u.i.k.j.r.ClassPreparationMethodBuilder clPrepBuilder: Inner Class detected. Reject building class initialisation methods.
1205423 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.91s