To be able to do fuzzer actions that enable volatile, we'll need to be able to track whether variables generated by the fuzzer are indeed volatile. This, in turn, needs either a relaxed form of global variables (#164) or better support for local variables (#165).
MattWindsor91
commented
4 years ago
To be able to do fuzzer actions that enable
volatile, we'll need to be able to track whether variables generated by the fuzzer are indeedvolatile. This, in turn, needs either a relaxed form of global variables (#164) or better support for local variables (#165).volatileto intermediate representationvolatileto converter/reifiervolatile