When we implement lock blocks (#179), the current fuzzer actions that insert atomic actions need to be restricted so that they can’t generate into any such block that uses an atomic transaction. This is because such blocks expect ‘transaction safe’ operations only.
When we implement lock blocks (#179), the current fuzzer actions that insert atomic actions need to be restricted so that they can’t generate into any such block that uses an atomic transaction. This is because such blocks expect ‘transaction safe’ operations only.