Artur Cygan

@Robsonsjre are you still experiencing this issue?

I confirm I have the same error on M1, it doesn't happen on x86. I suspect there is some nixpkgs configuration issue on M1. I would need to dig into...

@ggrieco-tob We can't guarantee that the campaign is deterministic with multiple workers anymore. It will depend on thread scheduling which is out of control for us. Not sure if we...

@AnmolSirola sure, go ahead

I'm always in favor of simplifying the usage of tools and I think this is an interesting idea. The issue with having assertion mode always enabled is that the way...

I've been thinking about it recently and this is what we can do right away: - Change exploration mode so it happens automatically if no tests are detected. Have a...

Yeah, we should handle it better, thanks for reporting.

We should print a trace for any VM error, this will show which cheat code was called.

We should move to a more event-oriented design for this to work robustly. Currently, we have only a snapshot of the campaign and we derive the status purely based on...

This is now fixed.