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
Spot
Spot
Commits
488ef820
Commit
488ef820
authored
Jun 21, 2016
by
Alexandre Duret-Lutz
Browse files
* tests/core/degenlskip.test: Typo.
parent
9080a922
Changes
1
Hide whitespace changes
Inline
Side-by-side
tests/core/degenlskip.test
View file @
488ef820
#!/bin/sh
# -*- coding: utf-8 -*-
# Copyright (C) 2013, 2014, 2015 Laboratoire de Recherche et
Développement
# de l'Epita (LRDE).
# Copyright (C) 2013, 2014, 2015
, 2016
Laboratoire de Recherche et
#
Développement
de l'Epita (LRDE).
#
# This file is part of Spot, a model checking library.
#
...
...
@@ -22,7 +22,7 @@
set
-
e
# Make sure degen-skip=0 and degen-skip=1 produce the expected
# Make sure degen-
l
skip=0 and degen-
l
skip=1 produce the expected
# automata for 'GFa & GFb'
ltl2tgba
-
B
'GFa & GFb'
--
hoa
>
out1
...
...
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