Merge pull request #615 from zachjs/sv-edge

Restrict edge event to SV
2026-09-04 08:34:09 +02:00 · 2022-02-14 21:05:05 -08:00
parent 560129f0c6 a4d7c3f94e
commit 96a1cbf7b2
1 changed files with 1 additions and 0 deletions
@@ -3403,6 +3403,7 @@ event_expression
 		  svector<PEEvent*>*tl = new svector<PEEvent*>(1);
 		  (*tl)[0] = tmp;
 		  $$ = tl;
+		  pform_requires_sv(@1, "Edge event");
 		}
 	| expression
 		{ PEEvent*tmp = new PEEvent(PEEvent::ANYEDGE, $1);