Skip to content
Run ScalaTest

it finally compiles, but there is a None.get error, which was somewha… #1657

Sign in to view logs

it finally compiles, but there is a None.get error, which was somewha…

it finally compiles, but there is a None.get error, which was somewha… #1657

Triggered via push October 12, 2023 08:53
@Naum-TomovNaum-Tomov
pushed 54d8deb
refactor-origin-add-req-names
Status Failure
Total duration 14m 50s
Artifacts 12
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

scalatest.yml

on: push
Compile
11m 28s
Compile
Matrix: ScalaTest
ScalaTestWindowsBasic
58s
ScalaTestWindowsBasic
ScalaTestMacOsBasic
1m 33s
ScalaTestMacOsBasic
GenerateTestReport
1m 17s
GenerateTestReport
Fit to window
Zoom out
Zoom in

Annotations

19 errors and 14 warnings
ScalaTest (-l MATRIX)
Process completed with exit code 1.
ScalaTest (-n MATRIX[1])
Process completed with exit code 1.
ScalaTest (-n MATRIX[0])
Process completed with exit code 1.
ScalaTest (-n MATRIX[5])
Process completed with exit code 1.
ScalaTest (-n MATRIX[2])
Process completed with exit code 1.
ScalaTest (-n MATRIX[3])
Process completed with exit code 1.
ScalaTest (-n MATRIX[4])
Process completed with exit code 1.
ScalaTest (-n MATRIX[7])
Process completed with exit code 1.
ScalaTest (-n MATRIX[6])
Process completed with exit code 1.
ScalaTestWindowsBasic
Process completed with exit code 1.
ScalaTestMacOsBasic
Process completed with exit code 1.
vct.test.integration.examples.BasicExamplesSpec ► Examples examples/concepts/basic/AddAssignJava.java produces verdict pass with Silicon: src/col/vct/col/typerules/CoercingRewriter.scala#L40
Failed test found in: reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml Error: java.util.NoSuchElementException: None.get
vct.test.integration.examples.BasicExamplesSpec ► Examples examples/concepts/basic/AddAssignJava.java produces verdict pass with Carbon: src/col/vct/col/typerules/CoercingRewriter.scala#L40
Failed test found in: reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml Error: java.util.NoSuchElementException: None.get
vct.test.integration.examples.AbruptExamplesSpec ► Examples examples/concepts/abrupt/ContinueBreakFail.java produces verdict pass with Carbon: src/col/vct/col/typerules/CoercingRewriter.scala#L40
Failed test found in: reports/ubuntu-0/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.CIncludeSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.OpenMPSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.TechnicalStaticSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.TerminationSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.TerminationSpec.xml reports/ubuntu-0/TEST-vct.test.integration.features.CContracts.xml reports/ubuntu-0/TEST-vct.test.integration.features.PVLFinalSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.CIncludeSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.CounterSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-1/TEST-vct.test.integration.features.ForPerm.xml reports/ubuntu-1/TEST-vct.test.integration.features.JavaInitOrder.xml reports/ubuntu-1/TEST-vct.test.integration.features.MagicWandSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.ClassesSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.CounterSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.FinalConstExprSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.ForkJoinSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.ForkJoinSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.TechnicalStaticSpec.xml reports/ubuntu-2/TEST-vct.test.integration.features.CoalesceOperatorSpec.xml reports/ubuntu-2/TEST-vct.test.integration.features.MagicWandSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.CounterSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.GotoSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.GotoSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.LoopDependencySpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.OpenMPSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.SilverDomainSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.SilverDomainSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.TechnicalStaticSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.TerminationSpec.xml reports/ubuntu-3/TEST-vct.test.integration.features.AmbiguousOps.xml reports/ubuntu-3/TEST-vct.test.integration.features.CContracts.xml reports/ubuntu-3/TEST-vct.test.integration.features.MagicWandSpec.xml reports/ubuntu-3/TEST-vct.test.integration.features.SetOps.xml reports/ubuntu-4/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.ExtractSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.ForkJoinSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.GotoSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.LoopDependencySpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.OpenMPSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.OpenMPSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-4/TEST-vct.test.integration.features.AmbiguousOps.xml reports/ubuntu-4/TEST-vct.test.integration.features.JavaInitOrder.xml reports/ubuntu-4/TEST-vct.test.integration.features.MagicWandSpec.xml reports/ubuntu-4/TEST-vct.test.integration.features.MagicWandSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.ClassesSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.ForkJoinSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.ForkJoinSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.GotoSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.JavaImportSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.OpenMPSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.OpenMPSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.PointerSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.TypeValuesSpec.xml reports/ubuntu-5/TEST-vct.test.integration.features.AmbiguousOps.xml reports/ubuntu-5/TEST-vct.test.integration.features.CoalesceOperatorSpec.xml reports/ubuntu-5/TEST-vct.test.integration.features.JavaInitOrder.xml reports/ubuntu-5/TEST-vct.test.integration.features.ValueSpec.xml reports/ubuntu-5/TEST-vct.test.integration.features.WhileSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.ClassesSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.CounterSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.FinalConstExprSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.FinalConstExprSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.JavaImportSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.MapsSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.OpenMPSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.TypeValuesSpec.xml reports/ubuntu-6/TEST-vct.test.integration.features.JavaInitOrder.xml reports/ubuntu-6/TEST-vct.test.integration.features.OldSpec.xml reports/ubuntu-6/TEST-vct.test.integration.features.Termination.xml reports/ubuntu-7/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.FinalConstExprSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.GotoSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.JavaImportSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.JavaImportSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.OpenMPSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.OpenMPSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.SilverDomainSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.TechnicalStaticSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.TypeValuesSpec.xml reports/ubuntu-7/TEST-vct.test.integration.features.CContracts.xml reports/ubuntu-7/TEST-vct.test.integration.features.CContracts.xml reports/ubuntu-7/TEST-vct.test.integration.features.JavaInitOrder.xml Error: java.util.NoSuchElementException: None.get
vct.test.integration.examples.AlgorithmExamplesSpec ► Examples examples/concepts/algo/BinarySearch.pvl produces verdict pass with Silicon: src/col/vct/col/typerules/CoercingRewriter.scala#L40
Failed test found in: reports/ubuntu-0/TEST-vct.test.integration.examples.AlgorithmExamplesSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.ArrayExamplesSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.CPPSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.DemoSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.ExtractSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.ForkJoinSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.GotoSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.GpgpuSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.LoopDependencySpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.ModelsSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.OpenMPSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.OpenMPSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.ParallelSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.ParallelSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.ParallelSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.ParallelSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.PermissionSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.PermissionSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.RefuteSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.SequencesSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.SummationSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.TechnicalFloatSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.TechnicalFloatSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.TechnicalPvlSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.TechnicalPvlSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.TechnicalStaticSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.VerifyThisSpec.xml reports/ubuntu-0/TEST-vct.test.integration.examples.VerifyThisSpec.xml reports/ubuntu-0/TEST-vct.test.integration.features.AmbiguousOps.xml reports/ubuntu-0/TEST-vct.test.integration.features.CContracts.xml reports/ubuntu-0/TEST-vct.test.integration.features.JavaInitOrder.xml reports/ubuntu-0/TEST-vct.test.integration.features.JavaLiteralArraySpec.xml reports/ubuntu-0/TEST-vct.test.integration.features.MagicWandSpec.xml reports/ubuntu-0/TEST-vct.test.integration.features.MagicWandSpec.xml reports/ubuntu-0/TEST-vct.test.integration.features.ParBlockSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.AlgorithmExamplesSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.ClassesSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.CounterSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.CPPSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.CPPSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.DemoSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.GotoSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.GotoSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.LoopDependencySpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.OpenMPSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.ParallelSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.ParallelSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.ParallelSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.ParallelSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.ParallelSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.PermissionSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.PermissionSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.PermissionSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.PermissionSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.PermutationSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.PredicatesSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.RefuteSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.SilverDomainSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.SilverDomainSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.TechnicalAbruptSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.TechnicalEnumSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.TechnicalEnumSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.TechnicalEnumSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.TechnicalFloatSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.TechnicalFloatSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.TechnicalFloatSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.TechnicalStaticSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.TerminationSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.VerifyThisSpec.xml reports/ubuntu-1/TEST-vct.test.integration.features.AmbiguousOps.xml reports/ubuntu-1/TEST-vct.test.integration.features.CContracts.xml reports/ubuntu-1/TEST-vct.test.integration.features.MagicWandSpec.xml reports/ubuntu-1/TEST-vct.test.integration.features.PVLEOF.xml reports/ubuntu-1/TEST-vct.test.integration.features.PVLEOF.xml reports/ubuntu-1/TEST-vct.test.integration.features.SetOps.xml reports/ubuntu-2/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.AlgorithmExamplesSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.ArrayExamplesSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.ClassesSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.CounterSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.CPPSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.CPPSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.CPPSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.DemoSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.FinalConstExprSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.ForkJoinSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.ForkJoinSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.ParallelSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.ParallelSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.PermissionSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.PermissionSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.RefuteSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.SetsSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.SummationSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.TechnicalAbruptSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.TechnicalEnumSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.TechnicalEnumSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.TechnicalEnumSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.TechnicalFloatSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.TechnicalFloatSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.TechnicalJavaBipSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.TechnicalStaticSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.VerifyThisSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.VeymontSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.WaitNotifySpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.WandSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.WandSpec.xml reports/ubuntu-2/TEST-vct.test.integration.features.ArrayValuesSpec.xml reports/ubuntu-2/TEST-vct.test.integration.features.CoalesceOperatorSpec.xml reports/ubuntu-2/TEST-vct.test.integration.features.MagicWandSpec.xml reports/ubuntu-2/TEST-vct.test.integration.features.MagicWandSpec.xml reports/ubuntu-2/TEST-vct.test.integration.features.ParBlockSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.AlgorithmExamplesSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.ArrayExamplesSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.CIncludeSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.CounterSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.CPPSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.CPPSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.CPPSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.ForkJoinSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.LoopDependencySpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.ParallelSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.ParallelSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.ParallelSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.PermutationSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.PredicatesSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.RefuteSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.SequencesSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.SequencesSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.TechnicalAbruptSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.TechnicalAbruptSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.TechnicalAbruptSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.TechnicalEnumSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.TechnicalFloatSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.TechnicalFloatSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.VerifyThisSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.WandSpec.xml reports/ubuntu-3/TEST-vct.test.integration.features.ForPerm.xml reports/ubuntu-3/TEST-vct.test.integration.features.JavaInitOrder.xml reports/ubuntu-3/TEST-vct.test.integration.features.MagicWandSpec.xml reports/ubuntu-3/TEST-vct.test.integration.features.ParBlockSpec.xml reports/ubuntu-3/TEST-vct.test.integration.features.ParBlockSpec.xml reports/ubuntu-3/TEST-vct.test.integration.features.ParBlockSpec.xml reports/ubuntu-3/TEST-vct.test.integration.features.ParBlockSpec.xml reports/ubuntu-3/TEST-vct.test.integration.features.ParBlockSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.AlgorithmExamplesSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.CIncludeSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.CPPSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.CPPSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.CPPSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.DemoSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.ModelsSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.OpenMPSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.ParallelSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.ParallelSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.PermissionSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.PermissionSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.PermutationSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.PermutationSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.PermutationSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.PermutationSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.TechnicalEnumSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.TechnicalFloatSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.TechnicalFloatSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.TechnicalFloatSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.TechnicalFloatSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.TechnicalJavaBipSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.TechnicalStaticSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.TerminationSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.TerminationSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.VeymontSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.WandSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.WandSpec.xml reports/ubuntu-4/TEST-vct.test.integration.features.ArrayValuesSpec.xml reports/ubuntu-4/TEST-vct.test.integration.features.CContracts.xml reports/ubuntu-4/TEST-vct.test.integration.features.JavaLiteralArraySpec.xml reports/ubuntu-4/TEST-vct.test.integration.features.ParBlockSpec.xml reports/ubuntu-4/TEST-vct.test.integration.features.PVLFinalSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.ArrayExamplesSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.ArrayExamplesSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.CPPSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.CPPSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.CPPSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.CPPSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.CPPSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.DemoSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.FinalConstExprSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.GotoSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.JavaImportSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.JavaImportSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.LoopDependencySpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.ModelsSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.OpenMPSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.OpenMPSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.ParallelSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.ParallelSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.ParallelSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.ParallelSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.PermissionSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.PermissionSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.PermutationSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.PredicatesSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.SequencesSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.SetsSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.SilverDomainSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.SummationSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.SummationSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.TechnicalAbruptSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.TechnicalAbruptSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.TechnicalAbruptSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.TechnicalAbruptSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.TechnicalAbruptSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.TechnicalFloatSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.TechnicalJavaSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.TechnicalStaticSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.TypeValuesSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.VerifyThisSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.WandSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.WandSpec.xml reports/ubuntu-5/TEST-vct.test.integration.features.CContracts.xml reports/ubuntu-5/TEST-vct.test.integration.features.CContracts.xml reports/ubuntu-5/TEST-vct.test.integration.features.JavaInitOrder.xml reports/ubuntu-6/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.ArrayExamplesSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.ClassesSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.CounterSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.CPPSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.DemoSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.FinalConstExprSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.FinalConstExprSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.JavaImportSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.MapsSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.ModelsSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.OpenMPSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.ParallelSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.ParallelSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.PermissionSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.PermissionSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.PermutationSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.PredicatesSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.PredicatesSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.SequencesSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.SmtSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.SYCLSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.TechnicalAbruptSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.TechnicalAbruptSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.TechnicalAbruptSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.TechnicalAbruptSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.TechnicalAbruptSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.TechnicalAbruptSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.TechnicalFloatSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.TechnicalFloatSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.TechnicalFloatSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.TypeValuesSpec.xml reports/ubuntu-6/TEST-vct.test.integration.examples.VerifyThisSpec.xml reports/ubuntu-6/TEST-vct.test.integration.features.JavaInitOrder.xml reports/ubuntu-6/TEST-vct.test.integration.features.OldSpec.xml reports/ubuntu-6/TEST-vct.test.integration.features.Termination.xml reports/ubuntu-7/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.AbruptExamplesSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.ArrayExamplesSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.ArrayExamplesSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.BasicExamplesSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.ClassesSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.DemoSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.DemoSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.ForkJoinSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.ForkJoinSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.GotoSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.JavaImportSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.LoopDependencySpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.MapsSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.ModelsSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.OpenMPSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.OpenMPSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.ParallelSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.ParallelSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.PermissionSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.PermutationSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.PermutationSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.PermutationSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.PermutationSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.PointerSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.RefuteSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.SequencesSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.SequencesSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.TechnicalAbruptSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.TechnicalAbruptSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.TechnicalAbruptSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.TechnicalEnumSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.TechnicalEnumSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.TechnicalEnumSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.TechnicalFloatSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.TechnicalFloatSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.TechnicalJavaBipSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.TechnicalJavaSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.TechnicalJavaSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.TechnicalPvlSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.TechnicalSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.TechnicalStaticSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.TypeValuesSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.WandSpec.xml reports/ubuntu-7/TEST-vct.test.integration.features.AmbiguousOps.xml reports/ubuntu-7/TEST-vct.test.integration.features.CoalesceOperatorSpec.xml reports/ubuntu-7/TEST-vct.test.integration.features.JavaInitOrder.xml reports/ubuntu-7/TEST-vct.test.integration.features.JavaLiteralArraySpec.xml reports/ubuntu-7/TEST-vct.test.integration.features.PVLEOF.xml reports/ubuntu-7/TEST-vct.test.integration.features.ValueSpec.xml reports/ubuntu-7/TEST-vct.test.integration.features.WhileSpec.xml Error: java.util.NoSuchElementException: None.get
vct.test.integration.examples.TechnicalJavaBipSpec ► JavaBIP test with files examples/technical/javabip/transitionPreconditionUnsatisfiable/Main.java, examples/technical/javabip/transitionPreconditionUnsatisfiable/MyComponent.java should fail with repo...: src/col/vct/col/typerules/CoercingRewriter.scala#L40
Failed test found in: reports/ubuntu-0/TEST-vct.test.integration.examples.TechnicalJavaBipSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.JavaBipSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.TechnicalJavaBipSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.TechnicalJavaBipSpec.xml reports/ubuntu-2/TEST-vct.test.integration.examples.TechnicalJavaBipSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.TechnicalJavaBipSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.JavaBipSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.TechnicalJavaBipSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.TechnicalJavaBipSpec.xml Error: java.util.NoSuchElementException: None.get
vct.rewrite.ContinueToBreakSpec ► should replace a labeled continue with the proper labeled break: test/main/vct/rewrite/ContinueToBreakSpec.scala#L51
Failed test found in: reports/ubuntu-x/TEST-vct.rewrite.ContinueToBreakSpec.xml Error: java.util.NoSuchElementException: None.get
vct.rewrite.ContinueToBreakSpec ► should only wrap the other loop when only continuing from the outer loop: test/main/vct/rewrite/ContinueToBreakSpec.scala#L109
Failed test found in: reports/ubuntu-x/TEST-vct.rewrite.ContinueToBreakSpec.xml Error: java.util.NoSuchElementException: None.get
GenerateTestReport
Failed test were found and 'fail-on-error' option is set to true
Compile
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
ScalaTest (-l MATRIX)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
ScalaTest (-n MATRIX[1])
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
ScalaTest (-n MATRIX[0])
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
ScalaTest (-n MATRIX[5])
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
ScalaTest (-n MATRIX[2])
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
ScalaTest (-n MATRIX[3])
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
ScalaTest (-n MATRIX[4])
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
ScalaTest (-n MATRIX[7])
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
ScalaTest (-n MATRIX[6])
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
ScalaTestWindowsBasic
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1, actions/cache@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
ScalaTestMacOsBasic
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
GenerateTestReport
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
GenerateTestReport
Test report summary exceeded limit of 65535 bytes and will be trimmed

Artifacts

Produced during runtime
Name Size
allTests Expired
110 MB
test-report-macos-latest Expired
878 KB
test-report-ubuntu-latest--l MATRIX Expired
261 KB
test-report-ubuntu-latest--n MATRIX[0] Expired
860 KB
test-report-ubuntu-latest--n MATRIX[1] Expired
994 KB
test-report-ubuntu-latest--n MATRIX[2] Expired
1000 KB
test-report-ubuntu-latest--n MATRIX[3] Expired
1.01 MB
test-report-ubuntu-latest--n MATRIX[4] Expired
860 KB
test-report-ubuntu-latest--n MATRIX[5] Expired
1.08 MB
test-report-ubuntu-latest--n MATRIX[6] Expired
957 KB
test-report-ubuntu-latest--n MATRIX[7] Expired
1.13 MB
test-report-windows-latest Expired
881 KB