*/
void MC_replay(xbt_fifo_t stack)
{
- unsigned int value;
+ int value;
char *req_str;
smx_req_t req = NULL, saved_req = NULL;
xbt_fifo_item_t item;
void MC_show_stack(xbt_fifo_t stack)
{
- unsigned int value;
+ int value;
mc_state_t state;
xbt_fifo_item_t item;
smx_req_t req;