search

c4-project / c4f

The C4 Concurrent C Fuzzer
MIT License
14 stars 1 forks source link

Explainer: describe individual operands and locations #48

Closed MattWindsor91 closed 3 years ago

MattWindsor91 commented 5 years ago

As part of working out how to solve #29, I could do with being able to see how act is translating individual operands and locations. The easiest thing to do here would be to extend Explainer to describe these, perhaps optionally.

MattWindsor91 commented 3 years ago

The explainer no longer exists - closing.