Commit 335cd370 authored by Sudeep Kanav's avatar Sudeep Kanav
Browse files

YELLOW

refs 2413
parent 379dd3fc
......@@ -69,7 +69,7 @@ import org.fortiss.af3.tools.nusmv.textgen.NuSMVTextGenerator;
* @author ratiu
* @author $Author: ratiu $
* @version $Rev: 1270 $
* @ConQAT.Rating YELLOW Hash: 8F7E666B91DDAFB9E4D33D39C70EDDB4
* @ConQAT.Rating YELLOW Hash: 74FB313F996006CF8478E1F796DF9674
*/
public class NuSMVRunner extends ToolRunnerBase<NuSMVFile, NuSMVResult> {
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment