ed/Odin
1
0
Fork 0
mirror of https://github.com/Ed94/Odin.git synced 2026-07-31 11:50:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add test for #4210

Browse Source
This commit is contained in:
Jeroen van Rijn
2024-09-07 13:43:19 +02:00
parent 0a08a65202
commit d2202416d2
3 changed files with 87 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tests/issues/run.bat
+1
View File
@@ -15,6 +15,7 @@ set COMMON=-define:ODIN_TEST_FANCY=false -file -vet -strict-style
..\..\..\odin test ..\test_issue_2615.odin %COMMON% || exit /b
..\..\..\odin test ..\test_issue_2637.odin %COMMON% || exit /b
..\..\..\odin test ..\test_issue_2666.odin %COMMON% || exit /b
..\..\..\odin test ..\test_issue_4210.odin %COMMON% || exit /b
@echo off