Some memory model simplifications#768
Draft
maul-esel wants to merge 20 commits into
Draft
Ultimate Jenkins CI / Tests / Build and run nightly tests
failed
Jun 12, 2026 in 0s
failed: 74, skipped: 133, passed: 10959
failed: 74, skipped: 133, passed: 10959
Details
de.uni_freiburg.informatik.ultimate.util.BenchmarkTest.TimeStartStopSingle
Time measured
Stack trace
java.lang.AssertionError: Time measured
at de.uni_freiburg.informatik.ultimate.util.BenchmarkTest.TimeStartStopSingle(BenchmarkTest.java:61)
Standard out
Measured time was 101.760892ms, and should be 100ms
Benchmark.Report(): TimeStartStopSingle took 101.76ms. Allocated memory is still 62.9MB. Free memory is still 40.4MB. There was no memory consumed. Max. memory is 4.3GB.
--
more test results are not shown here, view them on Jenkins
Loading