ignore DA benchmark test

AndreaKe · AndreaKe · commit 4154661a6245 · 2026-02-10T11:42:14.000+01:00
diff --git a/src/main/scala/viper/gobra/dependencyAnalysis/GobraDependencyAnalysisAggregator.scala b/src/main/scala/viper/gobra/dependencyAnalysis/GobraDependencyAnalysisAggregator.scala
@@ -31,7 +31,7 @@ object GobraDependencyAnalysisAggregator {
     identifyGobraNodes(typeInfo.tree.originalRoot)(positionManager)
   }
 
-  // TODO ake: should we also determine the assumption and assertion types here?
+
   private def identifyGobraNodes(pNode: PNode, dependencyType: Option[DependencyType]=None)(implicit positionManager: PositionManager): Iterable[GobraDependencyAnalysisInfo] = {
 
     def go(pNodes: Iterable[PNode], dependencyType: Option[DependencyType]=None) = {
diff --git a/src/test/scala/viper/gobra/DependencyAnalysisBenchmarkTest.scala b/src/test/scala/viper/gobra/DependencyAnalysisBenchmarkTest.scala
@@ -1,12 +1,14 @@
 package viper.gobra
 
 import org.rogach.scallop.throwError
+import org.scalatest.DoNotDiscover
 import viper.gobra.frontend.{Config, ScallopGobraConfig}
 import viper.gobra.reporting.NoopReporter
 import viper.gobra.util.Violation
 
 import java.nio.file.Path
 
+@DoNotDiscover
 class DependencyAnalysisBenchmarkTest extends OverallBenchmarkTests {
   val configOptionsPropertyName = "GOBRATESTS_FLAGS"
 
diff --git a/viperserver b/viperserver
@@ -1 +1 @@
-Subproject commit caaa604238d996da382587c1910e0317e9ad9abb
+Subproject commit a5e35413d6f4182eedb1caac99288a9869a0aafc

Original file line number	Diff line number	Diff line change
`@@ -31,7 +31,7 @@ object GobraDependencyAnalysisAggregator {`
`31`	`31`	`identifyGobraNodes(typeInfo.tree.originalRoot)(positionManager)`
`32`	`32`	`}`
`33`	`33`
`34`		`- // TODO ake: should we also determine the assumption and assertion types here?`
	`34`	`+`
`35`	`35`	`private def identifyGobraNodes(pNode: PNode, dependencyType: Option[DependencyType]=None)(implicit positionManager: PositionManager): Iterable[GobraDependencyAnalysisInfo] = {`
`36`	`36`
`37`	`37`	`def go(pNodes: Iterable[PNode], dependencyType: Option[DependencyType]=None) = {`