Class SymbolicExecutor
- java.lang.Object
-
- ru.ispras.microtesk.tools.symexec.SymbolicExecutor
-
public final class SymbolicExecutor extends java.lang.Object
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static boolean
execute(Options options, java.lang.String modelName, java.lang.String fileName)
-
-
-
Method Detail
-
execute
public static boolean execute(Options options, java.lang.String modelName, java.lang.String fileName)
-
-