From a7e4395f9d64ccff808b467b83236dc9f469ad3e Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sun, 12 Jun 2016 12:27:13 +0200
Subject: [PATCH] tests: rename ltsmin.ipynb

* tests/python/ltsmin.ipynb: Rename as ...
* tests/python/ltsmin-dve.ipynb: ... this.
* doc/org/tut.org, tests/Makefile.am: Adjust.
---
 doc/org/tut.org                                 | 2 +-
 tests/Makefile.am                               | 2 +-
 tests/python/{ltsmin.ipynb => ltsmin-dve.ipynb} | 4 ++--
 3 files changed, 4 insertions(+), 4 deletions(-)
 rename tests/python/{ltsmin.ipynb => ltsmin-dve.ipynb} (99%)

diff --git a/doc/org/tut.org b/doc/org/tut.org
index 1eb19401a..3f2742d41 100644
--- a/doc/org/tut.org
+++ b/doc/org/tut.org
@@ -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/testingaut.html][=testingaut.ipynb=]] shows the steps necessary to build a testing
   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.
 - [[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
diff --git a/tests/Makefile.am b/tests/Makefile.am
index 28b6078ec..4d0edd4ac 100644
--- a/tests/Makefile.am
+++ b/tests/Makefile.am
@@ -296,7 +296,7 @@ TESTS_ipython = \
   python/decompose.ipynb \
   python/formulas.ipynb \
   python/highlighting.ipynb \
-  python/ltsmin.ipynb \
+  python/ltsmin-dve.ipynb \
   python/piperead.ipynb \
   python/product.ipynb \
   python/randaut.ipynb \
diff --git a/tests/python/ltsmin.ipynb b/tests/python/ltsmin-dve.ipynb
similarity index 99%
rename from tests/python/ltsmin.ipynb
rename to tests/python/ltsmin-dve.ipynb
index 23c274ae0..25260f98c 100644
--- a/tests/python/ltsmin.ipynb
+++ b/tests/python/ltsmin-dve.ipynb
@@ -18,7 +18,7 @@
    "version": "3.5.1"
   },
   "name": "",
-  "signature": "sha256:7574bd022ee68fb7411f60cb675c158f5c1e80c5e79e3197073e2abf5d06262f"
+  "signature": "sha256:6d5d45c42cb1493863ed37f13f9c8679e93f026fa8d3b50cb87fba6914a4475f"
  },
  "nbformat": 3,
  "nbformat_minor": 0,
@@ -31,7 +31,7 @@
      "input": [
       "import spot\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",
       "spot.ltsmin.require('divine')\n",
       "# This is notebook also tests the limitation of the number of states in the GraphViz output\n",