Machine approver - fuzzing tool

leapdao / EthereumMachineOracle

8 stars 4 forks source link

Closed roleengineer closed 4 years ago

roleengineer commented 4 years ago

TheReturnOfJan commented 4 years ago

Some additional thoughts:

It would be nice if the generators existed on a separate file, that imports Machine.
Instead of running the Machine the completion to generate terminal states, we could just generate terminal states in the first place.