diff --git a/buildSrc/src/main/kotlin/tools.aqua.stars.kotlin-conventions.gradle.kts b/buildSrc/src/main/kotlin/tools.aqua.stars.kotlin-conventions.gradle.kts index ac61e3e4..9a7da9ee 100644 --- a/buildSrc/src/main/kotlin/tools.aqua.stars.kotlin-conventions.gradle.kts +++ b/buildSrc/src/main/kotlin/tools.aqua.stars.kotlin-conventions.gradle.kts @@ -76,10 +76,4 @@ tasks.test { testLogging { events(FAILED, PASSED, SKIPPED) } } -kotlin.target.compilations.all { - kotlinOptions { - jvmTarget = "11" - // allWarningsAsErrors = true - freeCompilerArgs = listOf("-Xjsr305=strict", "-Xjvm-default=all") - } -} +kotlin { jvmToolchain(17) } diff --git a/stars-core/src/main/kotlin/tools/aqua/stars/core/metric/metrics/postEvaluation/FailedMonitorsMetric.kt b/stars-core/src/main/kotlin/tools/aqua/stars/core/metric/metrics/postEvaluation/FailedMonitorsMetric.kt index 729b9149..985dd405 100644 --- a/stars-core/src/main/kotlin/tools/aqua/stars/core/metric/metrics/postEvaluation/FailedMonitorsMetric.kt +++ b/stars-core/src/main/kotlin/tools/aqua/stars/core/metric/metrics/postEvaluation/FailedMonitorsMetric.kt @@ -22,17 +22,19 @@ import tools.aqua.stars.core.metric.metrics.evaluation.ValidTSCInstancesPerProje import tools.aqua.stars.core.metric.providers.Loggable import tools.aqua.stars.core.metric.providers.PostEvaluationMetricProvider import tools.aqua.stars.core.tsc.TSCMonitorResult +import tools.aqua.stars.core.tsc.node.TSCNode import tools.aqua.stars.core.tsc.projection.TSCProjection import tools.aqua.stars.core.types.EntityType import tools.aqua.stars.core.types.SegmentType import tools.aqua.stars.core.types.TickDataType /** - * This metric implements the [PostEvaluationMetricProvider] and tracks the number of failed - * monitors. + * This metric implements the [PostEvaluationMetricProvider] and tracks the formulas specified as + * [TSCNode.monitorFunction]s that evaluate to 'false'. * - * This class implements the [Loggable] interface. It logs and prints the count of missing Monitors - * for each [TSCProjection]. It logs the missing [TSCMonitorResult]s for each [TSCProjection]. + * This class implements the [Loggable] interface. It logs and prints the count and names of all + * failing [TSCNode.monitorFunction]s for each [TSCProjection]. It logs the failing + * [TSCMonitorResult]s for each [TSCProjection]. */ @Suppress("unused") class FailedMonitorsMetric< diff --git a/stars-importer-carla/src/main/kotlin/tools/aqua/stars/importer/carla/runSegmentation.kt b/stars-importer-carla/src/main/kotlin/tools/aqua/stars/importer/carla/runSegmentation.kt index 85e96aed..00e0a60b 100644 --- a/stars-importer-carla/src/main/kotlin/tools/aqua/stars/importer/carla/runSegmentation.kt +++ b/stars-importer-carla/src/main/kotlin/tools/aqua/stars/importer/carla/runSegmentation.kt @@ -131,6 +131,13 @@ fun convertJsonData( } val egoTickData = checkNotNull(referenceTickData).map { it.clone() } + // Remove all existing ego flags when useEveryVehicleAsEgo is set + if (useEveryVehicleAsEgo) { + egoTickData.forEach { tickData -> + tickData.actors.filterIsInstance().forEach { it.egoVehicle = false } + } + } + // Set egoVehicle flag for each TickData var isTickWithoutEgo = false egoTickData.forEach { tickData ->