Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
af3
AF3
Commits
15b07caf
Commit
15b07caf
authored
Mar 19, 2018
by
Sudeep Kanav
Browse files
YELLOW
parent
ef3bf180
Changes
4
Hide whitespace changes
Inline
Side-by-side
org.fortiss.af3.tools/trunk/src/org/fortiss/af3/tools/nusmv/model/.ratings
View file @
15b07caf
.ratings b756697c56811c628f9f861b7ae763b3040d0302 GREEN
NuSMVModelAccessFacade.java 7a399ada3aabea80142214832d4bf911f8d8214e GREEN
NuSMVModelFactory.java
ad03ad18bdeeb44e4125ece77ab12fb770be9f73 GREEN
NuSMVModelFactory.java
c9e105dacb09eb7db2d343e8a5e4eb3d8c815d1c YELLOW
NuSMVSpecialFeaturesUtils.java 04dacfcc9fc6d8d021cf7dd9113d79f6cd225e6b GREEN
package.html a2adf7ada2745e1e8fad0868bbee4492f3113321 GREEN
org.fortiss.af3.tools/trunk/src/org/fortiss/af3/tools/nusmv/run/.ratings
View file @
15b07caf
EModelCheckingType.java 099480024bb20d6de3b83897b78e95860a43d20f GREEN
ModelCheckingException.java a5fb04f1b617590328c26a17ba085558cc470f70 GREEN
NuSMVResultBuilder.java
043f13e9ddcf637c493a13544a8bc54d1aeebc44 RED
NuSMVResultBuilder.java
bca2771ad0d93bbb51e26086409c9a65821254ad YELLOW
NuSMVRunner.java f01be6e3449650fc67f550eab852e06a03fcc9ad RED
NuSMVRunnerOld.java bc164c7cd5276b6f8e7515868bdde1cd6658d9c6 RED
Specification.java 4a8059e33eb36db13e135c08906e27f3a361f3fb GREEN
org.fortiss.af3.tools/trunk/src/org/fortiss/af3/tools/nusmv/run/NuSMVResultBuilder.java
View file @
15b07caf
...
...
@@ -133,7 +133,6 @@ public class NuSMVResultBuilder implements IResultBuilder<NuSMVResult> {
it
.
advance
();
String
token
=
"The transition relation is total: No deadlock state exists"
;
NuSMVResult
res
=
createNuSMVResult
(
it
.
item
().
contains
(
token
));
// TODO(VA) Don't use do...while
do
{
it
.
advance
();
}
while
(!
it
.
item
().
startsWith
(
"#############################"
));
...
...
org.fortiss.af3.tools/trunk/src/org/fortiss/af3/tools/nusmv/textgen/.ratings
View file @
15b07caf
NuSMVTextGenerator.java
feae0bb9bf02b9029f524e7513399ae7b336eb8e GREEN
NuSMVTextGenerator.java
59f0724e23ed517359ea6a22ac2c529efba35745 YELLOW
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment