src/Pure/Admin/afp.scala
changeset 67815 8b3d9a91706e
parent 67781 a8a3f73623e7
child 67817 93faefc25fe7
equal deleted inserted replaced
67814:c4c4c2f01723 67815:8b3d9a91706e
    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", "Network_Security_Policy_Verification")
    88   val force_partition1: List[String] = List("Category3", "Formula_Derivatives")
    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 =>