Disable test that omer says is unstable, and can be fixed with just e…

…ngineering work

test/main/vct/test/integration/examples/SYCLFullProgramsSpec.scala

@@ -3,8 +3,12 @@ package vct.test.integration.examples
 import vct.test.integration.helper.VercorsSpec
 
 class SYCLFullProgramsSpec extends VercorsSpec {
-  vercors should verify using silicon flag "--no-infer-heap-context-into-frame" example "concepts/sycl/fullExamples/VectorAdd.cpp"
+  vercors should verify using silicon flag
+    "--no-infer-heap-context-into-frame" example
+    "concepts/sycl/fullExamples/VectorAdd.cpp"
 
   // About 1 in 5 times this test will fail, because then VerCors fails to prove the pre-conditions of the second kernel even though they are true
-  vercors should verify using silicon flag "--no-infer-heap-context-into-frame" example "concepts/sycl/fullExamples/MatrixTransposeWithF.cpp"
-}
+  // Disabled because of timeout until further notice.
+  // https://github.com/utwente-fmt/vercors/issues/1246
+  // vercors should verify using silicon flag "--no-infer-heap-context-into-frame" example "concepts/sycl/fullExamples/MatrixTransposeWithF.cpp"
+}