Class TestBase
- java.lang.Object
-
- ru.ispras.microtesk.translator.nml.coverage.TestBase
-
public final class TestBase extends java.lang.Object
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description ru.ispras.testbase.TestBaseQueryResult
executeQuery(ru.ispras.testbase.TestBaseQuery query)
static TestBase
get()
ru.ispras.testbase.TestBaseRegistry
getRegistry()
java.util.Map<java.lang.String,SsaForm>
getStorage(java.lang.String model)
static void
setSolverId(ru.ispras.fortress.solver.SolverId value)
-
-
-
Method Detail
-
get
public static TestBase get()
-
setSolverId
public static void setSolverId(ru.ispras.fortress.solver.SolverId value)
-
executeQuery
public ru.ispras.testbase.TestBaseQueryResult executeQuery(ru.ispras.testbase.TestBaseQuery query)
-
getStorage
public java.util.Map<java.lang.String,SsaForm> getStorage(java.lang.String model)
-
getRegistry
public ru.ispras.testbase.TestBaseRegistry getRegistry()
-
-