Commit c20916ec authored by fortissBot's avatar fortissBot
Browse files

fixed incorrectly resolved assertion.

refs 2413
parent 630b00ab
...@@ -69,7 +69,7 @@ import org.fortiss.af3.tools.nusmv.textgen.NuSMVTextGenerator; ...@@ -69,7 +69,7 @@ import org.fortiss.af3.tools.nusmv.textgen.NuSMVTextGenerator;
* @author ratiu * @author ratiu
* @author $Author: ratiu $ * @author $Author: ratiu $
* @version $Rev: 1270 $ * @version $Rev: 1270 $
* @ConQAT.Rating YELLOW Hash: 74FB313F996006CF8478E1F796DF9674 * @ConQAT.Rating YELLOW Hash: ADADEC5158494810D6174B9756B112A9
*/ */
public class NuSMVRunner extends ToolRunnerBase<NuSMVFile, NuSMVResult> { public class NuSMVRunner extends ToolRunnerBase<NuSMVFile, NuSMVResult> {
...@@ -112,7 +112,7 @@ public class NuSMVRunner extends ToolRunnerBase<NuSMVFile, NuSMVResult> { ...@@ -112,7 +112,7 @@ public class NuSMVRunner extends ToolRunnerBase<NuSMVFile, NuSMVResult> {
List<NuSMVResult> results = new NuSMVResultBuilder().buildResults(rawResults); List<NuSMVResult> results = new NuSMVResultBuilder().buildResults(rawResults);
// if a result is missing there should have been an exception // if a result is missing there should have been an exception
if(results.size() == specList.size()) { if(results.size() != specList.size()) {
List<String> log = new ArrayList<>(); List<String> log = new ArrayList<>();
log.add("There was an exception. Number of results do no match the number of specifications."); log.add("There was an exception. Number of results do no match the number of specifications.");
throw new ModelCheckingException(log); throw new ModelCheckingException(log);
......
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