Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Spot
spot-web-app
Commits
3712de0e
Commit
3712de0e
authored
Oct 02, 2018
by
Alexandre Duret-Lutz
Browse files
Add warning about completed monitors
Fixes
#1
.
parent
3092103d
Changes
1
Hide whitespace changes
Inline
Side-by-side
server/spotapi.py
View file @
3712de0e
...
...
@@ -412,6 +412,9 @@ def translate(ltlformula, method='GET'):
"If your formula does not belong to this class, "
"the automaton below will accept a superset of "
"the intended language."
))
if
arg_a
==
'm'
and
aut
.
acc
().
is_buchi
()
and
"complete"
in
args
:
warn
(
res
,
"To complete the monitor, "
"it has been converted to a Büchi automaton."
)
if
arg_a
==
'p'
:
accname
=
aut
.
acc
().
name
()
if
not
accname
.
startswith
(
'parity'
):
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a 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