Skip to content

Commit 117c263

Browse files
Mary ellen KerrGitHub Enterprise
authored andcommitted
Disable Validation Warning ART_0039_portPartMultiplicityMismatch (#77)
1 parent e94cd98 commit 117c263

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

art-comp-test/tests/send_to_owner_in_initial_transition/send_to_owner_in_initial_transition.art

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -38,7 +38,7 @@ capsule Top {
3838

3939
behavior port p~ : Prot[100];
4040
behavior port frame : Frame;
41-
optional part a : A[100];
41+
optional part a [[rt::properties(rule_config="X0039")]] : A[100];
4242

4343
connect a.p with p;
4444
statemachine {

0 commit comments

Comments
 (0)