Add a transaction inserting action

c4-project / c4f

The C4 Concurrent C Fuzzer

MIT License

13 stars 1 forks source link

Add a transaction inserting action #184

Closed MattWindsor91 closed 4 years ago

MattWindsor91 commented 4 years ago

This would take a group of (appropriately transaction safe operations) and stuff them into a transaction, under the assumption that doing so refines semantics.

Such an action would be easy to add (just a variation of the existing ‘surround’ pattern) and a useful test of whether transactions are supported properly.

Depends on #179.

MattWindsor91 commented 4 years ago

Done, but deactivated for now and its safety is contingent on #182.