From e77a5abca70d50c22bf65287662838c7010ef0f8 Mon Sep 17 00:00:00 2001 From: Samuel Chassot Date: Thu, 2 May 2024 11:50:28 +0200 Subject: [PATCH] missing files in previous cmmits --- core/src/sphinx/installation.rst | 2 +- sbt-plugin/src/sbt-test/sbt-plugin/ghost/test | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/core/src/sphinx/installation.rst b/core/src/sphinx/installation.rst index 6bd97a088..63e5cf670 100644 --- a/core/src/sphinx/installation.rst +++ b/core/src/sphinx/installation.rst @@ -316,7 +316,7 @@ Instead, please use ``sbt stainless-scalac-standalone/assembly`` as follows: $ sbt stainless-scalac-standalone/assembly // takes about 1 minutes -Running Stainless can then be done with the command: ``java -jar frontends\stainless-dotty-standalone\target\scala-3.3.0\stainless-dotty-standalone-{VERSION}.jar``, where ``VERSION`` denotes Stainless version. +Running Stainless can then be done with the command: ``java -jar frontends\stainless-dotty-standalone\target\scala-3.3.3\stainless-dotty-standalone-{VERSION}.jar``, where ``VERSION`` denotes Stainless version. Running Tests ------------- diff --git a/sbt-plugin/src/sbt-test/sbt-plugin/ghost/test b/sbt-plugin/src/sbt-test/sbt-plugin/ghost/test index e20dd6fdc..b4277c4e3 100644 --- a/sbt-plugin/src/sbt-test/sbt-plugin/ghost/test +++ b/sbt-plugin/src/sbt-test/sbt-plugin/ghost/test @@ -1,6 +1,6 @@ > + tailrec/run > + basic/run $ exists basic/target/scala-2.13/classes/test/Main.class -$ exists basic/target/scala-3.3.0/classes/test/Main.class +$ exists basic/target/scala-3.3.3/classes/test/Main.class $ absent basic/target/sneakyGhostCalled basic/target/insideGhostCalled -> + actor-tests/compile \ No newline at end of file +> + actor-tests/compile