Skip to content

Generate and use static .flat files for Marlowe benchmark#7598

Open
basetunnel wants to merge 10 commits intomasterfrom
basetunnel/bench-marlowe-flat
Open

Generate and use static .flat files for Marlowe benchmark#7598
basetunnel wants to merge 10 commits intomasterfrom
basetunnel/bench-marlowe-flat

Conversation

@basetunnel
Copy link
Collaborator

Copy link
Collaborator

@SeungheonOh SeungheonOh left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I haven't reviewed the actual generated UPLC flat files; however, the code for generating these looks good

Comment on lines +20 to +23
import PlutusBenchmark.Marlowe.Scripts.Data.RolePayout qualified as DataRolePayout (rolePayoutValidator)
import PlutusBenchmark.Marlowe.Scripts.Data.Semantics qualified as DataSemantics (marloweValidator)
import PlutusBenchmark.Marlowe.Scripts.RolePayout qualified as RolePayout (rolePayoutValidator)
import PlutusBenchmark.Marlowe.Scripts.Semantics qualified as Semantics (marloweValidator)
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

nitpick:
Maybe DataRolePayout and SOPRolePayout; DataSemantics and SOPSemantics would be clearer

@SeungheonOh
Copy link
Collaborator

On a side note, since now we generate flat files for malrowe, we can also put this for validation benchmark. I think this would be helpful since test scripts in validation doesn't really represent the SOP terms much as many scripts there were created before introduction of Case/Constr

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants