Skip to content

Commit 0f59e6b

Browse files
RIC-1215: Check numPorts for Top capsule
1 parent 71ce5c0 commit 0f59e6b

File tree

1 file changed

+6
-2
lines changed

1 file changed

+6
-2
lines changed

art-comp-test/tests/delegation_connector_02/delegation_connector_02.art

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,11 @@ capsule Top {
1010

1111
statemachine {
1212
state State1;
13-
initial -> State1;
13+
initial -> State1
14+
`
15+
ASSERT(rtg_class.numPorts == 0, "rtg_ports should not be generated");
16+
PASS();
17+
`;
1418
};
1519
};
1620

@@ -21,7 +25,7 @@ capsule A {
2125
state State;
2226
initial -> State
2327
`
24-
PASS();
28+
printf("Capsule A initialized\n");
2529
`;
2630
};
2731
};

0 commit comments

Comments
 (0)