/** @brief Constructor */
ModelHistory::ModelHistory() :
func_counter(1), /* function id starts with 1 */
- last_seq_number(-1),
+ last_seq_number(INIT_SEQ_NUMBER),
func_map(),
func_map_rev(),
func_nodes()
return true;
/* Skip actions with the same sequence number */
- if (last_seq_number != -1 && last_seq_number == curr_seq_number)
+ if (last_seq_number != INIT_SEQ_NUMBER && last_seq_number == curr_seq_number)
return true;
/* Skip actions that are paused by fuzzer (sequence number is 0) */