Alexandre Duret-Lutz authored
* src/ltlast/binop.cc (binop::instance): Order operands for associative operators, so that e.g. "a xor b" and "b xor a" are mapped to the same formula. * src/ltltest/equals.test: Check this.0d32884d
To find the state of this project's repository at the time of any of these versions, check out the tags.