Commit ac1f906b authored by Sudeep Kanav's avatar Sudeep Kanav
Browse files

YELLOW

refs 2413
parent 0632140f
......@@ -57,6 +57,7 @@ import org.fortiss.af3.tools.base.UnknownLanguageFragmentException;
import org.fortiss.af3.tools.nusmv.model.NuSMVFile;
import org.fortiss.af3.tools.nusmv.model.NuSMVModelFactory;
import org.fortiss.af3.tools.nusmv.model.NuSMVSpecialFeaturesUtils;
import org.fortiss.af3.tools.nusmv.model.constraints.Invar;
import org.fortiss.af3.tools.nusmv.model.module.LocalVariable;
import org.fortiss.af3.tools.nusmv.model.module.Module;
import org.fortiss.af3.tools.nusmv.model.run.NuSMVResult;
......@@ -69,7 +70,7 @@ import org.fortiss.af3.tools.nusmv.textgen.NuSMVTextGenerator;
* @author ratiu
* @author $Author: ratiu $
* @version $Rev: 1270 $
* @ConQAT.Rating YELLOW Hash: 7DAE3E622AA25B577595693293ECA3F4
* @ConQAT.Rating YELLOW Hash: FED7F13ECF50B8742441C104430E7005
*/
public class NuSMVRunner extends ToolRunnerBase<NuSMVFile, NuSMVResult> {
......@@ -234,9 +235,9 @@ public class NuSMVRunner extends ToolRunnerBase<NuSMVFile, NuSMVResult> {
if(lv.getType() instanceof EnumerationType) {
EnumerationType et = (EnumerationType)lv.getType();
if(et.getValues().contains("FAKE_VALUE")) {
mainModule.getInvars()
.add(createInvar(notEqual(createVar(lv.getName()),
createVar("FAKE_VALUE"))));
Invar i =
createInvar(notEqual(createVar(lv.getName()), createVar("FAKE_VALUE")));
mainModule.getInvars().add(i);
}
}
}
......
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