Skip to content

Conversation

@alexhroom
Copy link
Collaborator

@alexhroom alexhroom commented Aug 13, 2024

This PR changes Strategies to be a RATEnum in line with the rest. This means that users now input the strategy as a string rather than an integer. The enum has an __int__ property so it can be converted to an integer for RAT_core.

@alexhroom alexhroom requested a review from DrPaulSharp August 13, 2024 08:03
Copy link
Collaborator

@DrPaulSharp DrPaulSharp left a comment

Choose a reason for hiding this comment

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

This looks good to me, but I think it's worth getting more input before we merge.

What do you all think @arwelHughes @StephenNneji @RabiyaF?

@alexhroom alexhroom requested a review from DrPaulSharp August 19, 2024 11:08
@alexhroom alexhroom requested a review from DrPaulSharp August 19, 2024 13:31
@alexhroom alexhroom merged commit b53fe23 into RascalSoftware:main Aug 20, 2024
@alexhroom alexhroom deleted the better-strategy branch August 20, 2024 07:45
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