-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathscript.bat
73 lines (63 loc) · 2.16 KB
/
script.bat
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
@echo off
setlocal enabledelayedexpansion
:: Compile the Haskell program
ghc -o Linter Linter.hs
:: Remove directories if they exist
rmdir /S /Q .\casos\misalida 2>nul
rmdir /S /Q .\casos\diferencias 2>nul
:: Create necessary directories
mkdir .\casos\misalida
mkdir .\casos\diferencias
echo --------------Resultado--------------
for /l %%i in (1,1,24) do (
set "num=%%i"
if %%i LSS 10 set "num=0%%i"
set "input_file=.\casos\caso!num!.mhs"
set "output_file=.\casos\misalida\caso!num!-lint"
set "diff_output=.\casos\diferencias\diferencias_caso!num!-lint.txt"
set "expected_output=.\casos\salidas\caso!num!-lint.mhs"
if exist "!input_file!" (
Linter.exe -c "!input_file!" > "!output_file!"
if exist "!expected_output!" (
fc /w "!expected_output!" "!output_file!" > nul
if errorlevel 1 (
echo ❌!num!
fc /w "!expected_output!" "!output_file!" > "!diff_output!"
) else (
echo ✅!num!
del "!diff_output!" 2>nul
)
) else (
echo Expected output file "!expected_output!" not found!
)
) else (
echo File "!input_file!" not found!
)
)
echo --------------Suggestions--------------
for /l %%i in (1,1,24) do (
set "num=%%i"
if %%i LSS 10 set "num=0%%i"
set "input_file=.\casos\caso!num!.mhs"
set "output_file=.\casos\misalida\caso!num!-sug"
set "diff_output=.\casos\diferencias\diferencias_caso!num!-sug.txt"
set "expected_output=.\casos\salidas\caso!num!-sug"
if exist "!input_file!" (
Linter.exe -s "!input_file!" > "!output_file!"
if exist "!expected_output!" (
fc /w "!expected_output!" "!output_file!" > nul
if errorlevel 1 (
echo ❌!num!
fc /w "!expected_output!" "!output_file!" > "!diff_output!"
) else (
echo ✅!num!
del "!diff_output!" 2>nul
)
) else (
echo Expected output file "!expected_output!" not found!
)
) else (
echo File "!input_file!" not found!
)
)
echo --------------Fin--------------