We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
When declaring an int variable with constraint values, the pss-gen reports an error.
component pss_top { action root_a { activity { do print with {val1 == 1; val2 == 4;}; } } action print { rand int in [1..3] val1; rand int val2; constraint { val2 in [4..6]; } exec body ASM = """val1 = {{val1}} val2 = {{val2}}"""; } }
val1 = 1 val2 = 4
PSSGenVisitor.visitInteger_type(), Ln512: Syntax is not yet supported: 'intin[1..3]'
The text was updated successfully, but these errors were encountered:
LeeKaiXuan
No branches or pull requests
Description
When declaring an int variable with constraint values, the pss-gen reports an error.
Scenario Code
Expected Output or Behaviour
Error Message from PSSGen or JAVA
The text was updated successfully, but these errors were encountered: