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

* src/tgbatest/ltlcross2.test: Fix list of tested configurations.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2013-01-22 11:45:45 +01:00
parent 362c396356
commit 3f61a34bd1
1 changed files with 7 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

16
src/tgbatest/ltlcross2.test
View file

@ -1,7 +1,7 @@
#!/bin/sh #!/bin/sh
# -*- coding: utf-8 -*- # -*- coding: utf-8 -*-
# Copyright (C) 2012 Laboratoire de Recherche et # Copyright (C) 2012, 2013 Laboratoire de Recherche et Développement
# Développement de l'Epita (LRDE). # de l'Epita (LRDE).
# #
# This file is part of Spot, a model checking library. # This file is part of Spot, a model checking library.
# #
@ -24,15 +24,13 @@ ltl2tgba=../../bin/ltl2tgba
../../bin/randltl -P -n 100 p1 p2 p3 p4 p5 p6 --tree-size 5..15 | ../../bin/randltl -P -n 100 p1 p2 p3 p4 p5 p6 --tree-size 5..15 |
../../bin/ltlcross \ ../../bin/ltlcross \
"$ltl2tgba --lbtt --any --small %f > %T" \ "$ltl2tgba --lbtt --any --low %f > %T" \
"$ltl2tgba --lbtt --any --medium %f > %T" \ "$ltl2tgba --lbtt --any --medium %f > %T" \
"$ltl2tgba --lbtt --any --high %f > %T" \ "$ltl2tgba --lbtt --any --high %f > %T" \
"$ltl2tgba --lbtt --deterministic --small %f > %T" \ "$ltl2tgba --lbtt --deterministic --low %f > %T" \
"$ltl2tgba --lbtt --deterministic --medium %f > %T" \ "$ltl2tgba --lbtt --deterministic --medium %f > %T" \
"$ltl2tgba --lbtt --deterministic --high %f > %T" \ "$ltl2tgba --lbtt --deterministic --high %f > %T" \
"$ltl2tgba --lbtt --high --small %f > %T" \ "$ltl2tgba --lbtt --small --low %f > %T" \
"$ltl2tgba --lbtt --high --medium %f > %T" \ "$ltl2tgba --lbtt --small --medium %f > %T" \
"$ltl2tgba --lbtt --high --high %f > %T" \ "$ltl2tgba --lbtt --small --high %f > %T" \
--json=output.json --csv=output.csv --json=output.json --csv=output.csv