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

* src/graphtest/tgbagraph.cc: Add parentheses to please gcc-snapshot.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2014-09-29 18:17:34 +02:00
parent 8c2efa6615
commit 37ece2b878
1 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

10
src/graphtest/tgbagraph.cc
View file

@ -45,11 +45,11 @@ void f1()
auto s3 = tg->new_state(); auto s3 = tg->new_state();
tg->new_transition(s1, s1, bddfalse, bddfalse); tg->new_transition(s1, s1, bddfalse, bddfalse);
tg->new_transition(s1, s2, p1, bddfalse); tg->new_transition(s1, s2, p1, bddfalse);
tg->new_transition(s1, s3, p2, !a1 & a2); tg->new_transition(s1, s3, p2, (!a1) & a2);
tg->new_transition(s2, s3, p1 & p2, a1 & !a2); tg->new_transition(s2, s3, p1 & p2, a1 & !a2);
tg->new_transition(s3, s1, p1 | p2, (!a1 & a2) | (a1 & !a2)); tg->new_transition(s3, s1, p1 | p2, ((!a1) & a2) | (a1 & !a2));
tg->new_transition(s3, s2, p1 >> p2, bddfalse); tg->new_transition(s3, s2, p1 >> p2, bddfalse);
tg->new_transition(s3, s3, bddtrue, (!a1 & a2) | (a1 & !a2)); tg->new_transition(s3, s3, bddtrue, ((!a1) & a2) | (a1 & !a2));
spot::dotty_reachable(std::cout, tg); spot::dotty_reachable(std::cout, tg);
@ -69,9 +69,9 @@ void f1()
spot::dotty_reachable(std::cout, tg); spot::dotty_reachable(std::cout, tg);
} }
tg->new_transition(s3, s1, p1 | p2, (!a1 & a2) | (a1 & !a2)); tg->new_transition(s3, s1, p1 | p2, ((!a1) & a2) | (a1 & !a2));
tg->new_transition(s3, s2, p1 >> p2, bddfalse); tg->new_transition(s3, s2, p1 >> p2, bddfalse);
tg->new_transition(s3, s1, bddtrue, (!a1 & a2) | (a1 & !a2)); tg->new_transition(s3, s1, bddtrue, ((!a1) & a2) | (a1 & !a2));
std::cerr << tg->num_transitions() << '\n'; std::cerr << tg->num_transitions() << '\n';
assert(tg->num_transitions() == 7); assert(tg->num_transitions() == 7);