Method configure_diff_active_blks

src/Reducer.cpp:932–969

}

int
Reducer::configure_diff_active_blks(string line, int first_bid)
{
	vector<int> ids;
	StringUtils::split_int_string(line, ids, ",()");
	size_t i;
	assert(!ids.empty());
	const Block* one_branch = find_block_by_id(first_bid);
	assert(one_branch);
	const Statement* stm = one_branch->find_container_stm();
	if (stm && stm->eType == eIfElse) {
		for (i=0; i<ids.size(); i+=2) {
			int id = ids[i];
			if (1) { //id <= first_bid) {
				int cnt = ids[i+1];
				const Block* blk = find_block_by_id(id);
				assert(blk);
				map_active_blks[blk] = cnt;
			}
		}
		const StatementIf* si = (const StatementIf*)stm;
		const Block* other_branch = (one_branch == si->get_false_branch()) ? si->get_true_branch() : si->get_false_branch();
		map_active_blks[other_branch] = map_active_blks[one_branch];
		assert(!used_vars.empty());

		// replace both branches with direct conflicting assignments
		string vname = monitored_var->name;
		string assign1 = vname + " = 0;";
		string assign2 = vname + " = 1;";
		replace_stm(one_branch, NULL, assign1);
		replace_stm(other_branch, NULL, assign2);

		// delete all statement following this if-else statement
		delete_stms_after(si, true);
		return 1;
	}
	else return 0;
}

void
Reducer::config_active_blks(string cmd)