Maximilian Algehed

I agree that this is a problem. We've bumped into issues / warts / frustrations related to this when implementing testing tools for Plutus contracts. For example over at https://github.com/input-output-hk/plutus/pull/4023....

@Centril I'm no rust expert, but I don't think it matters here. I'm confident the ideas from SessionCheck carry over at least somewhat to CLI applications. The big problem with...

This needs a bit more tidying up before you need to look at it. On Wed, 27 Apr 2022, 11:36 Michael Peyton Jones, ***@***.***> wrote: > What's the plan here?...

@michaelpj this is probably ready for someone to look at now.

(I still haven't fixed the commit history, but I'll do that when we are about to merge)

> I wonder if it's a good idea to resolve https://input-output.atlassian.net/browse/SCP-3909 before implementing something as complex as this? I don't have permission to see that ticket. Whats it about? Anyway,...

I see, that makes sense and although we are indeed QuickCheck experts we don't have a dog in that fight. Any property based testing is good property based testing after...

Haha, thats how all the best technical decisions are made! :) On Tue, 10 May 2022, 16:49 Michael Peyton Jones, ***@***.***> wrote: > I don't think we really have a...

@effectfully and @michaelpj any progress on reviewing this?

@michaelpj I took some time to split things up. You might find it useful to look at the types bits now - inculding dependencies obviously :)