Skip to content
  • Alexandre Duret-Lutz's avatar
    Merge the core and python tests in the tests/ directory · 5cb94a1a
    Alexandre Duret-Lutz authored
    * tests/: Rename as...
    * tests/core/: ... this.
    * python/tests/: Rename as...
    * tests/python/: ... this.
    * python/tests/ Move as...
    * tests/ This, and adjust.
    * tests/ Adjust to run both core and python tests.
    *, README, debian/python3-spot.examples, debian/rules,
    doc/org/, python/, spot/ltsmin/,
    spot/ltsmin/kripke.test, spot/sanity/ipynb.test: Adjust.