xbt_assert(stream >> size);
for (int i = 0; i < size; i++) {
Transition* t = deserialize_transition(issuer, 0, stream);
xbt_assert(stream >> size);
for (int i = 0; i < size; i++) {
Transition* t = deserialize_transition(issuer, 0, stream);
- auto res = xbt::string_printf("TestAny{ ");
- for (auto const* t : transitions_)
+ auto res = xbt::string_printf("TestAny(%s){ ", this->result() ? "TRUE" : "FALSE");
+ for (auto const* t : transitions_) {
xbt_assert(stream >> size);
for (int i = 0; i < size; i++) {
Transition* t = deserialize_transition(issuer, 0, stream);
xbt_assert(stream >> size);
for (int i = 0; i < size; i++) {
Transition* t = deserialize_transition(issuer, 0, stream);
auto res = xbt::string_printf("WaitAny{ ");
for (auto const* t : transitions_)
res += t->to_string(verbose);
auto res = xbt::string_printf("WaitAny{ ");
for (auto const* t : transitions_)
res += t->to_string(verbose);