Merge pull request #727 from viperproject/auto-update-submodules

Update Submodules to Viper RC 24.01-RC1

Author: ArquintL

src/main/scala/viper/gobra/ast/internal/PrettyPrinter.scala

@@ -15,7 +15,6 @@ import viper.silver.ast.{Position => GobraPosition}
 
 import scala.collection.mutable
 import scala.collection.mutable.ListBuffer
-import viper.gobra.util.Violation.violation
 
 trait PrettyPrinter {
   def format(node : Node): String

src/main/scala/viper/gobra/translator/encodings/typeless/TerminationEncoding.scala

@@ -44,6 +44,6 @@ class TerminationEncoding extends Encoding {
     for {
       v <- ctx.assertion(in.Access(in.Accessible.Predicate(x), in.FullPerm(x.info))(x.info))
       pap = v.asInstanceOf[vpr.PredicateAccessPredicate]
-    } yield predicateinstance.PredicateInstance(pap.loc.args, pap.loc.predicateName)(pos, info, errT)
+    } yield predicateinstance.PredicateInstance(pap.loc.predicateName, pap.loc.args)(pos, info, errT)
   }
 }

src/main/scala/viper/gobra/translator/transformers/TerminationTransformer.scala

@@ -8,6 +8,7 @@ package viper.gobra.translator.transformers
 import java.nio.file.Path
 import viper.gobra.backend.BackendVerifier
 import viper.silicon.Silicon
+import viper.silver.ast.utility.FileLoader
 import viper.silver.{ast => vpr}
 import viper.silver.frontend.{DefaultStates, ViperAstProvider}
 import viper.silver.plugin.SilverPlugin
@@ -134,8 +135,8 @@ class TerminationTransformer extends ViperTransformer {
       resetMessages()
     }
 
-    override def execute(args: Seq[String] = Seq()): Unit = {
-      super.execute(args ++ Seq("--ignoreFile", Silicon.dummyInputFilename))
+    override def execute(args: Seq[String] = Seq(), loader: Option[FileLoader] = None): Unit = {
+      super.execute(args ++ Seq("--ignoreFile", Silicon.dummyInputFilename), loader)
     }
   }
 }