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

* src/evtgbatest/ltl2evtgba.test: Replace * by &.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2010-01-30 14:16:15 +01:00
parent 4efde0d3d3
commit 322e1a0179
2 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ChangeLog
View file

@ -1,3 +1,7 @@
2010-01-30 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* src/evtgbatest/ltl2evtgba.test: Replace * by &.
2010-01-30 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Make it possible to use the cgi script without installing a web

4
src/evtgbatest/ltl2evtgba.test
View file

@ -1,5 +1,5 @@
#!/bin/sh
# Copyright (C) 2009 Laboratoire de Recherche et Développement
# Copyright (C) 2009, 2010 Laboratoire de Recherche et Développement
# de l'Epita (LRDE).
# Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
# département Systèmes Répartis Coopératifs (SRC), Université Pierre
@ -48,4 +48,4 @@ check 'Fc & X(a | Xb) & GF(a | Xb) & Gc'
check 'a R (b R c)'
check '(a U b) U (c U d)'
check '((Xp2)U(X(1)))*(p1 R(p2 R p0))'
check '((Xp2)U(X(1)))&(p1 R(p2 R p0))'