Apply suggestion from @wsnyder

Co-authored-by: Wilson Snyder <wsnyder@wsnyder.org>
This commit is contained in:
Kamil Danecki 2026-04-03 10:54:43 +02:00 committed by GitHub
parent 16362deb2e
commit 14dfd8124e
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 10 additions and 1 deletions

View File

@ -40,7 +40,16 @@ module t;
`checkd(x6, 0)
`checkd(x7, 4)
#5 $write("*-* All Finished *-*\n");
#5;
`checkd(x1, 1)
`checkd(x2, -1)
`checkd(x3, 1)
`checkd(x4, 2)
`checkd(x5, 3)
`checkd(x6, 0)
`checkd(x7, 4)
$write("*-* All Finished *-*\n");
$finish;
end
always #1 t5(x5);