equal
deleted
inserted
replaced
83 }).mkString("[", ", ", "\n]\n") |
83 }).mkString("[", ", ", "\n]\n") |
84 |
84 |
85 |
85 |
86 /* partition sessions */ |
86 /* partition sessions */ |
87 |
87 |
88 val force_partition1: List[String] = List("Category3") |
88 val force_partition1: List[String] = List("Category3", "Network_Security_Policy_Verification") |
89 |
89 |
90 def partition(n: Int): List[String] = |
90 def partition(n: Int): List[String] = |
91 n match { |
91 n match { |
92 case 0 => Nil |
92 case 0 => Nil |
93 case 1 | 2 => |
93 case 1 | 2 => |