Fix tests

JetBrains · Nov 16, 2020 · b94a05d · b94a05d
1 parent dbdbab8
commit b94a05d
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/main/java/org/jetbrains/kotlinx/lincheck/execution/ExecutionResult.kt b/src/main/java/org/jetbrains/kotlinx/lincheck/execution/ExecutionResult.kt
@@ -73,8 +73,7 @@ val ExecutionResult.withEmptyClocks: ExecutionResult get() = ExecutionResult(
     this.parallelResultsWithClock.map { it.withEmptyClock() },
     this.afterParallelStateRepresentation,
     this.postResults,
-    this.afterPostStateRepresentation,
-    this.crashes
+    this.afterPostStateRepresentation
 )
 
 val ExecutionResult.withoutCrashes: ExecutionResult get() = if (crashes.isEmpty()) this else copy(crashes = emptyList())