Alexandre Duret-Lutz
f3b95a8a11
tests: recognize ./run jupyter
...
* tests/run.in: Here.
2016-12-01 18:34:44 +01:00
Alexandre Duret-Lutz
ab42b2ece3
tests: reset CFLAGS
...
* tests/run.in: Here. This helps when spins is installed an the tests
actually compile code; we do not want to inherit the -std=c11
-fvisibility=hidden set for compiling Spot.
2016-06-14 14:39:53 +02:00
Etienne Renault
cf4f58c34b
Update paths to please Darwin
...
Fixes #144 .
* doc/org/.dir-locals.el.in,
doc/org/init.el.in,
python/ajax/spotcgi.in,
tests/run.in: Here.
2016-02-17 15:02:41 +01:00
Alexandre Duret-Lutz
064ccd5c05
fix paths mentioning buddy/src/.libs
...
Those had been incorrectly renamed to buddy/spot/.libs when we rename
the main src/ directory into spot/. This only affected the setting of
DYLD_LIBRARY_PATH, that used to be needed on Darwin.
* doc/org/.dir-locals.el.in, doc/org/init.el.in, python/ajax/spotcgi.in,
tests/run.in: Fix the PATH.
2016-02-12 14:02:47 +01:00
Alexandre Duret-Lutz
0c2997990d
* tests/run.in: Honor PREFIXCMD even without argument.
2016-01-26 19:21:35 +01:00
Alexandre Duret-Lutz
215fcb799a
Make spot.py a python package instead of a module
...
* python/spot.py, python/spot_impl.i: Rename as...
* python/spot/__init__.py, python/spot/impl.i: ... these.
* python/Makefile.am, tests/run.in: Adjust for new paths.
* tests/python/automata-io.ipynb, tests/python/automata.ipynb,
tests/python/decompose.ipynb, tests/python/piperead.ipynb,
tests/python/testingaut.ipynb: Adjust messages to refer to spot.impl
instead of spot_impl.
2016-01-26 19:20:26 +01:00
Alexandre Duret-Lutz
6e854b6d83
move the sanity tests in tests/sanity/
...
* spot/sanity/: Move ...
* tests/sanity/: ... here.
* spot/sanity/Makefile.am: Merge with...
* tests/Makefile.am: ... this.
* tests/run.in: Learn to run perl tests.
* README, configure.ac, spot/Makefile.am: Adjust.
* spot/tl/mark.hh: Add missing SPOT_API detected by
fixed private.test.
* spot/twaalgos/weight.cc, spot/twaalgos/weight.hh: Move...
* spot/priv/weight.cc, spot/priv/weight.hh: ... here, as
suggested by fixed private.test.
* spot/twaalgos/tau03opt.cc, spot/twaalgos/Makefile.am,
spot/priv/Makefile.am: Adjust.
2016-01-05 17:20:51 +01:00
Alexandre Duret-Lutz
5cb94a1a3f
Merge the core and python tests in the tests/ directory
...
* tests/: Rename as...
* tests/core/: ... this.
* python/tests/: Rename as...
* tests/python/: ... this.
* python/tests/run.in: Move as...
* tests/run.in: This, and adjust.
* tests/Makefile.am: Adjust to run both core and python tests.
* configure.ac, README, debian/python3-spot.examples, debian/rules,
doc/org/tut.org, python/Makefile.am, spot/ltsmin/Makefile.am,
spot/ltsmin/kripke.test, spot/sanity/ipynb.test: Adjust.
2016-01-04 16:02:30 +01:00
