Fuzzer action: redundant stores - Githubissues

c4-project / c4f

The C4 Concurrent C Fuzzer

MIT License

14 stars 1 forks source link

Fuzzer action: redundant stores #162

Closed MattWindsor91 closed 4 years ago

MattWindsor91 commented 4 years ago

As with #161, but:

pick on variables with known values;
store the known value of the target variable;
store anywhere;
also don't change the known value records.