extern xbt_automaton_t automaton;
-int p=1;
+int p=0;
int q=0;
val1 = (long) MSG_task_get_data(task1);
XBT_INFO("Received %lu", val1);
- //MC_assert_pair_stateless(val1 == 2);
+ MC_assert_pair_stateless(val1 == 2);
/*if(val1 == 2)
q = 1;
init();
yyparse();
automaton = get_automaton();
- xbt_propositional_symbol_t ps = xbt_new_propositional_symbol(automaton,"p", &predP);
- ps = xbt_new_propositional_symbol(automaton,"q", &predQ);
+ xbt_new_propositional_symbol(automaton,"p", &predP);
+ xbt_new_propositional_symbol(automaton,"q", &predQ);
//display_automaton();