Added seed to dpor test

ftsrg · Jul 25, 2023 · e81dc57 · e81dc57
1 parent e9b055f
commit e81dc57
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/...s/xcfa/xcfa-analysis/src/test/java/hu/bme/mit/theta/xcfa/analysis/XcfaExplAnalysisTest.kt b/...s/xcfa/xcfa-analysis/src/test/java/hu/bme/mit/theta/xcfa/analysis/XcfaExplAnalysisTest.kt
@@ -37,12 +37,14 @@ import org.junit.jupiter.api.Assertions
 import org.junit.jupiter.params.ParameterizedTest
 import org.junit.jupiter.params.provider.MethodSource
 import java.util.*
+import kotlin.random.Random
 
 
 class XcfaExplAnalysisTest {
 
 
     companion object {
+        private val seed = 1001
 
         @JvmStatic
         fun data(): Collection<Array<Any>> {
@@ -145,6 +147,7 @@ class XcfaExplAnalysisTest {
     @ParameterizedTest
     @MethodSource("data")
     fun testDporExpl(filepath: String, verdict: (SafetyResult<*, *>) -> Boolean) {
+        XcfaDporLts.random = Random(seed)
         println("Testing DPOR on $filepath...")
         val stream = javaClass.getResourceAsStream(filepath)
         val xcfa = getXcfaFromC(stream!!, ParseContext(), false, false).first
@@ -231,6 +234,7 @@ class XcfaExplAnalysisTest {
     @ParameterizedTest
     @MethodSource("data")
     fun testAadporExpl(filepath: String, verdict: (SafetyResult<*, *>) -> Boolean) {
+        XcfaDporLts.random = Random(seed)
         println("Testing AADPOR on $filepath...")
         val stream = javaClass.getResourceAsStream(filepath)
         val xcfa = getXcfaFromC(stream!!, ParseContext(), false, false).first

diff --git a/...s/xcfa/xcfa-analysis/src/test/java/hu/bme/mit/theta/xcfa/analysis/XcfaPredAnalysisTest.kt b/...s/xcfa/xcfa-analysis/src/test/java/hu/bme/mit/theta/xcfa/analysis/XcfaPredAnalysisTest.kt
@@ -37,13 +37,16 @@ import org.junit.jupiter.api.Assertions
 import org.junit.jupiter.params.ParameterizedTest
 import org.junit.jupiter.params.provider.MethodSource
 import java.util.*
+import kotlin.random.Random
 
 
 class XcfaPredAnalysisTest {
 
 
     companion object {
 
+        private val seed = 1001;
+
         @JvmStatic
         fun data(): Collection<Array<Any>> {
             return listOf(
@@ -149,6 +152,7 @@ class XcfaPredAnalysisTest {
     @ParameterizedTest
     @MethodSource("data")
     fun testDporPred(filepath: String, verdict: (SafetyResult<*, *>) -> Boolean) {
+        XcfaDporLts.random = Random(seed)
         println("Testing DPOR on $filepath...")
         val stream = javaClass.getResourceAsStream(filepath)
         val xcfa = getXcfaFromC(stream!!, ParseContext(), false, false).first
@@ -238,6 +242,7 @@ class XcfaPredAnalysisTest {
     @ParameterizedTest
     @MethodSource("data")
     fun testAadporPred(filepath: String, verdict: (SafetyResult<*, *>) -> Boolean) {
+        XcfaDporLts.random = Random(seed)
         println("Testing AADPOR on $filepath...")
         val stream = javaClass.getResourceAsStream(filepath)
         val xcfa = getXcfaFromC(stream!!, ParseContext(), false, false).first