Skip to content

Commit 8888390

Browse files
committed
[ISSUE] Add #20
1 parent 5f91cef commit 8888390

File tree

3 files changed

+43
-0
lines changed

3 files changed

+43
-0
lines changed

issue/20/Makefile

+7
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
include ${PSS_HOME}/issue/Make.vars
2+
3+
gentarget:
4+
$(PSSGEN) test.pss -o test.s -root pss_top::root_a || true
5+
6+
clean:
7+
rm -f test.s result.log

issue/20/test.pss

+35
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,35 @@
1+
/*!
2+
@weakgroup issue
3+
@{
4+
@file
5+
@author Luther Lee
6+
@data 2024/06/13
7+
@brief Test issue 20.
8+
9+
10+
---------------------------------------------------------------------------------------------------
11+
12+
### Test Command
13+
@code{.unparsed}
14+
make
15+
@endcode
16+
17+
@cond
18+
*/
19+
component pss_top {
20+
action root_a {
21+
activity {
22+
do constraintBySet with { value in [1]; };
23+
}
24+
}
25+
26+
action constraintBySet {
27+
rand int value;
28+
set<int> foo = {1, 3, 5, 7};
29+
30+
constraint { value in foo; }
31+
exec body ASM = """constraintBySet: {{value}}""";
32+
}
33+
}
34+
35+
/**@}*/

issue/20/test.s.golden

+1
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
constraintBySet: 1

0 commit comments

Comments
 (0)