Class TestBase


  • public final class TestBase
    extends java.lang.Object
    • Method Detail

      • getSolverId

        public static ru.ispras.fortress.solver.SolverId getSolverId()
      • setSolverId

        public static void setSolverId​(ru.ispras.fortress.solver.SolverId value)