alarsyo/spot

Fork 0

Commit graph

Author	SHA1	Message	Date
Alexandre Duret-Lutz	d25cdd4c6c	ks_cobuchi: forbid n=0 * spot/gen/automata.hh: State the precondition. * spot/gen/automata.cc: Catch n==0. * tests/core/genaut.test: Test it.	2017-04-22 21:19:00 +02:00
Alexandre Duret-Lutz	e4a5bf8192	genaut: minor fixes and add test case * bin/genaut.cc: Use RANGE instead of N, and document it. Output the FORMAT documentation, and fix handling of %F and %L. * tests/core/genaut.test: New file. * tests/Makefile.am: Add it.	2017-04-22 11:00:50 +02:00

Author

SHA1

Message

Date

Alexandre Duret-Lutz

d25cdd4c6c

ks_cobuchi: forbid n=0

* spot/gen/automata.hh: State the precondition.
* spot/gen/automata.cc: Catch n==0.
* tests/core/genaut.test: Test it.

2017-04-22 21:19:00 +02:00

Alexandre Duret-Lutz

e4a5bf8192

genaut: minor fixes and add test case

* bin/genaut.cc: Use RANGE instead of N, and document it.
Output the FORMAT documentation, and fix handling of %F and %L.
* tests/core/genaut.test: New file.
* tests/Makefile.am: Add it.

2017-04-22 11:00:50 +02:00

2 commits