Skip to content

Allow for string and fstring for record names#483

Open
Kv139 wants to merge 1 commit into
BerkeleyLearnVerify:fix_subscenariosfrom
Kv139:fix_subscenarios
Open

Allow for string and fstring for record names#483
Kv139 wants to merge 1 commit into
BerkeleyLearnVerify:fix_subscenariosfrom
Kv139:fix_subscenarios

Conversation

@Kv139

@Kv139 Kv139 commented Jun 30, 2026

Copy link
Copy Markdown

Description

Modified grammar and compiler to allow for using fstring and strings as names in record statements.

Issue Link

Checklist

  • I have tested the changes locally via pytest and/or other means
  • I have added or updated relevant documentation
  • I have autoformatted the code with black and isort
  • I have added test cases (if applicable)

Additional Notes

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.

1 participant