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

Spot wants ^', not xor'.

Browse source 
* src/SpotWrapper.hh (SpotWrapper::SPOT_XOR): Declare.
* src/SpotWrapper.cc (SpotWrapper::SPOT_XOR): Define.
(SpotWrapper::translateFormula): Use SPOT_XOR.
This commit is contained in:
Alexandre Duret-Lutz 2003-07-10 08:26:23 +00:00
parent 79bed65843
commit bbba8ca966
3 changed files with 11 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

7
lbtt/ChangeLog
View file

@ -1,3 +1,10 @@
2003-07-10 Alexandre Duret-Lutz <aduret@src.lip6.fr>
Spot wants `^', not `xor'.
* src/SpotWrapper.hh (SpotWrapper::SPOT_XOR): Declare.
* src/SpotWrapper.cc (SpotWrapper::SPOT_XOR): Define.
(SpotWrapper::translateFormula): Use SPOT_XOR.
2003-07-09 Alexandre Duret-Lutz <aduret@src.lip6.fr>
I want $? = 1 whenever some test fails.

3
lbtt/src/SpotWrapper.cc
View file

@ -42,6 +42,7 @@
const char SpotWrapper::SPOT_AND[] = "&";
const char SpotWrapper::SPOT_OR[] = "|";
const char SpotWrapper::SPOT_XOR[] = "^";
@ -88,7 +89,7 @@ void SpotWrapper::translateFormula
BinaryOperatorInfixWriter<SPOT_OR>,
BinaryOperatorInfixWriter<LtlImplication::infix_symbol>,
BinaryOperatorInfixWriter<LtlEquivalence::infix_symbol>,
BinaryOperatorInfixWriter<LtlXor::infix_symbol>,
BinaryOperatorInfixWriter<SPOT_XOR>,
BinaryOperatorInfixWriter<LtlUntil::infix_symbol>,
BinaryOperatorInfixWriter<LtlV::infix_symbol>,
WriterErrorReporter,

3
lbtt/src/SpotWrapper.h
View file

@ -70,6 +70,7 @@ private:
static const char SPOT_AND[]; /* Symbols for */
static const char SPOT_OR[]; /* operators. */
static const char SPOT_XOR[];
};
@ -124,7 +125,7 @@ inline string SpotWrapper::commandLine
*
* ------------------------------------------------------------------------- */
{
return (string(" ") + input_filename
return (string(" ") + input_filename
+ " >" + string(command_line_arguments[4]));
}