UndocumentedProof/all.bat at master · ComboxSoftDeveloper/UndocumentedProof · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
@echo off
chcp 866 >nul
setlocal enabledelayedexpansion

rem ‚¥áì ¯à®£® ®¤®© ª®¬ ¤®©. ‘ª« ¤ë¢ ¥â ¢áñ ¢ Results\<¨¬ï ¬ è¨ë>.

set NAME=%COMPUTERNAME%
set OUT=Results\%NAME%
if not exist "Results" mkdir "Results"
if not exist "%OUT%" mkdir "%OUT%"
if not exist "%OUT%" (
    echo ¥ ã¤ «®áì á®§¤ âì ¯ ¯ªã %OUT%
    goto fail
)

echo ‚áñ «ï¦¥â ¢ %OUT%
echo.

echo === ‘¡®àª  ===
dotnet build -c Release -warnaserror
if errorlevel 1 goto fail

echo.
echo === ‘¢¥àª    âàñå à â ©¬ å ===
for %%T in (net8.0 net9.0 net10.0) do (
    echo   %%T
    dotnet run -c Release -f %%T --no-build -- checks > "%OUT%\checks_%%T.txt"
    if errorlevel 1 (
        echo   á¢¥àª  ¥ ¯à®è« , á¬®âà¨ "%OUT%\checks_%%T.txt"
        set FAILED=1
    )
)

echo.
echo === Žâçñâë ===
for %%T in (net8.0 net9.0 net10.0) do (
    for %%R in (keywords arglist swap boolops nullcall) do (
        echo   %%T %%R
        dotnet run -c Release -f %%T --no-build -- %%R > "%OUT%\%%R_%%T.txt"
    )
)

rem ®¤¬¥  â ¡«¨æë ¬¥â®¤®¢ âà®£ ¥â ªãçã, ¯®íâ®¬ã ®  ¯à®¢¥àï¥âáï ¥éñ ¨
rem á¥à¢¥à®¬ á¡®àé¨ª¥: ã ¥£® ¤àã£ ï à áª« ¤ª  á¥£¬¥â®¢.
echo.
echo ===   á¥à¢¥à®¬ á¡®àé¨ª¥ ===
set DOTNET_gcServer=1
for %%T in (net8.0 net9.0 net10.0) do (
    echo   %%T
    dotnet run -c Release -f %%T --no-build -- swap > "%OUT%\swap_%%T_servergc.txt"
)
set DOTNET_gcServer=

rem ¥§ ¬®£®ãà®¢¥¢®© ª®¬¯¨«ïæ¨¨ ¬¥â®¤ë áà §ã á®¡¨à îâáï ¯®«®áâìî.
rem à®¢¥àª  á®£« è¥¨ï ¢ë§®¢  ¯à¨ íâ®¬ ¯à®¨áå®¤¨â à ìè¥, ¨ áâ®¨â ã¡¥¤¨âìáï,
rem çâ® ®âçñâ ¯à® ¯¥à¥¬¥®¥ ç¨á«®  à£ã¬¥â®¢ ¢¥¤ñâ á¥¡ï â ª ¦¥.
echo.
echo === ¥§ ¬®£®ãà®¢¥¢®© ª®¬¯¨«ïæ¨¨ ===
set DOTNET_TieredCompilation=0
for %%T in (net8.0 net9.0 net10.0) do (
    echo   %%T
    dotnet run -c Release -f %%T --no-build -- arglist > "%OUT%\arglist_%%T_notiered.txt"
)
set DOTNET_TieredCompilation=

echo.
if defined FAILED (
    echo ƒ®â®¢®, ® á¢¥àª  ¥ ¯à®è«  å®âï ¡ë   ®¤®¬ à â ©¬¥.
    echo ®¢¥¤¥¨¥ ¨§¬¥¨«®áì, á¬®âà¨ checks_*.txt ¢ %OUT%
    echo Žâçñâë ¯à¨ íâ®¬ áïâë ¯®«®áâìî.
) else (
    echo ƒ®â®¢®. ‚áñ «¥¦¨â ¢ %OUT%
)
goto end

:fail
echo.
echo à®£® ®áâ ®¢«¥.
endlocal
exit /b 1

:end
endlocal