Skip to content
New issue

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

[INT:DECLARE] Declare an int variable with constraint values does not work #14

Open
yyb0205 opened this issue Oct 19, 2023 · 0 comments
Assignees
Labels
bug Something isn't working

Comments

@yyb0205
Copy link

yyb0205 commented Oct 19, 2023

Description

When declaring an int variable with constraint values, the pss-gen reports an error.

Scenario Code

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}}""";
    }
}

Expected Output or Behaviour

val1 = 1
val2 = 4

Error Message from PSSGen or JAVA

PSSGenVisitor.visitInteger_type(), Ln512: Syntax is not yet supported: 'intin[1..3]'
@yyb0205 yyb0205 added the bug Something isn't working label Oct 19, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

No branches or pull requests

2 participants