alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

tests: rename ltsmin.ipynb

Browse source 
* tests/python/ltsmin.ipynb: Rename as ...
* tests/python/ltsmin-dve.ipynb: ... this.
* doc/org/tut.org, tests/Makefile.am: Adjust.
This commit is contained in:
Alexandre Duret-Lutz 2016-06-12 12:27:13 +02:00
parent 2cda41e244
commit a7e4395f9d
3 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

2
doc/org/tut.org
View file

@ -63,7 +63,7 @@ real notebooks instead.
- [[https://spot.lrde.epita.fr/ipynb/decompose.html][=decompose.ipynb=]] illustrates the =decompose_strength()= function - [[https://spot.lrde.epita.fr/ipynb/decompose.html][=decompose.ipynb=]] illustrates the =decompose_strength()= function
- [[https://spot.lrde.epita.fr/ipynb/testingaut.html][=testingaut.ipynb=]] shows the steps necessary to build a testing - [[https://spot.lrde.epita.fr/ipynb/testingaut.html][=testingaut.ipynb=]] shows the steps necessary to build a testing
automaton automaton
- [[https://spot.lrde.epita.fr/ipynb/ltsmin.html][=ltsmin.ipynb=]] minimal test for loading a DiVinE model using - [[https://spot.lrde.epita.fr/ipynb/ltsmin-dve.html][=ltsmin-dve.ipynb=]] minimal test for loading a DiVinE model using
the LTSmin interface. the LTSmin interface.
- [[https://spot.lrde.epita.fr/ipynb/word.html][=word.ipynb=]] example for the =twa_run= and =twa_word= classes. - [[https://spot.lrde.epita.fr/ipynb/word.html][=word.ipynb=]] example for the =twa_run= and =twa_word= classes.
- [[https://spot.lrde.epita.fr/ipynb/highlighting.html][=highlighting.ipynb=]] shows how to highlight states or edges in - [[https://spot.lrde.epita.fr/ipynb/highlighting.html][=highlighting.ipynb=]] shows how to highlight states or edges in

2
tests/Makefile.am
View file

@ -296,7 +296,7 @@ TESTS_ipython = \
python/decompose.ipynb \ python/decompose.ipynb \
python/formulas.ipynb \ python/formulas.ipynb \
python/highlighting.ipynb \ python/highlighting.ipynb \
python/ltsmin.ipynb \ python/ltsmin-dve.ipynb \
python/piperead.ipynb \ python/piperead.ipynb \
python/product.ipynb \ python/product.ipynb \
python/randaut.ipynb \ python/randaut.ipynb \

4
tests/python/ltsmin.ipynb → tests/python/ltsmin-dve.ipynb
View file

@ -18,7 +18,7 @@
"version": "3.5.1" "version": "3.5.1"
}, },
"name": "", "name": "",
"signature": "sha256:7574bd022ee68fb7411f60cb675c158f5c1e80c5e79e3197073e2abf5d06262f" "signature": "sha256:6d5d45c42cb1493863ed37f13f9c8679e93f026fa8d3b50cb87fba6914a4475f"
}, },
"nbformat": 3, "nbformat": 3,
"nbformat_minor": 0, "nbformat_minor": 0,
@ -31,7 +31,7 @@
"input": [ "input": [
"import spot\n", "import spot\n",
"import spot.ltsmin\n", "import spot.ltsmin\n",
"# The following line causes the notebook to exit with 77 if the divine is not \n", "# The following line causes the notebook to exit with 77 if divine is not \n",
"# installed, therefore skipping this test in the test suite.\n", "# installed, therefore skipping this test in the test suite.\n",
"spot.ltsmin.require('divine')\n", "spot.ltsmin.require('divine')\n",
"# This is notebook also tests the limitation of the number of states in the GraphViz output\n", "# This is notebook also tests the limitation of the number of states in the GraphViz output\n",