vor 2 Jahren · ced4979bc7
--- a/.gitattributes
+++ b/.gitattributes
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
--- a/.gitignore
+++ b/.gitignore
--- a/README.md
+++ b/README.md
--- a/checkers/acmp.cpp
+++ b/checkers/acmp.cpp
--- a/checkers/caseicmp.cpp
+++ b/checkers/caseicmp.cpp
--- a/checkers/casencmp.cpp
+++ b/checkers/casencmp.cpp
--- a/checkers/casewcmp.cpp
+++ b/checkers/casewcmp.cpp
--- a/checkers/dcmp.cpp
+++ b/checkers/dcmp.cpp
--- a/checkers/fcmp.cpp
+++ b/checkers/fcmp.cpp
--- a/checkers/hcmp.cpp
+++ b/checkers/hcmp.cpp
--- a/checkers/icmp.cpp
+++ b/checkers/icmp.cpp
--- a/checkers/lcmp.cpp
+++ b/checkers/lcmp.cpp
--- a/checkers/ncmp.cpp
+++ b/checkers/ncmp.cpp
--- a/checkers/nyesno.cpp
+++ b/checkers/nyesno.cpp
--- a/checkers/pointscmp.cpp
+++ b/checkers/pointscmp.cpp
--- a/checkers/pointsinfo.cpp
+++ b/checkers/pointsinfo.cpp
--- a/checkers/rcmp.cpp
+++ b/checkers/rcmp.cpp
--- a/checkers/rcmp4.cpp
+++ b/checkers/rcmp4.cpp
--- a/checkers/rcmp6.cpp
+++ b/checkers/rcmp6.cpp
--- a/checkers/rcmp9.cpp
+++ b/checkers/rcmp9.cpp
--- a/checkers/rncmp.cpp
+++ b/checkers/rncmp.cpp
--- a/checkers/uncmp.cpp
+++ b/checkers/uncmp.cpp
--- a/checkers/wcmp.cpp
+++ b/checkers/wcmp.cpp
--- a/checkers/yesno.cpp
+++ b/checkers/yesno.cpp
--- a/generators/bgen.cpp
+++ b/generators/bgen.cpp
--- a/generators/gen-array-with-opt.cpp
+++ b/generators/gen-array-with-opt.cpp
--- a/generators/gen-bipartite-graph.cpp
+++ b/generators/gen-bipartite-graph.cpp
--- a/generators/gen-rooted-tree-graph.cpp
+++ b/generators/gen-rooted-tree-graph.cpp
--- a/generators/gen-tree-graph.cpp
+++ b/generators/gen-tree-graph.cpp
--- a/generators/gs.cpp
+++ b/generators/gs.cpp
--- a/generators/igen.cpp
+++ b/generators/igen.cpp
--- a/generators/iwgen.cpp
+++ b/generators/iwgen.cpp
--- a/generators/multigen.cpp
+++ b/generators/multigen.cpp
--- a/generators/sgen.cpp
+++ b/generators/sgen.cpp
--- a/generators/swgen.cpp
+++ b/generators/swgen.cpp
--- a/interactors/interactor-a-plus-b.cpp
+++ b/interactors/interactor-a-plus-b.cpp
--- a/testlib.h
+++ b/testlib.h
--- a/tests/README.md
+++ b/tests/README.md
--- a/tests/lib/msvc-2022-include.7z
+++ b/tests/lib/msvc-2022-include.7z
--- a/tests/lib/testlib.h
+++ b/tests/lib/testlib.h
--- a/tests/lib/windows-kit-10.0.19041.0-include.7z
+++ b/tests/lib/windows-kit-10.0.19041.0-include.7z
--- a/tests/run.sh
+++ b/tests/run.sh
--- a/tests/scripts/compile
+++ b/tests/scripts/compile
--- a/tests/scripts/test-ref
+++ b/tests/scripts/test-ref
--- a/tests/src/tester-lcmp.cpp
+++ b/tests/src/tester-lcmp.cpp
--- a/tests/t.bat
+++ b/tests/t.bat
--- a/tests/t.sh
+++ b/tests/t.sh
--- a/tests/test-000_compile-all-cpp/run.sh
+++ b/tests/test-000_compile-all-cpp/run.sh
--- a/tests/test-001_run-sval/files/unix/sval/input.01
+++ b/tests/test-001_run-sval/files/unix/sval/input.01
--- a/tests/test-001_run-sval/files/unix/sval/input.02
+++ b/tests/test-001_run-sval/files/unix/sval/input.02
--- a/tests/test-001_run-sval/files/unix/sval/input.03
+++ b/tests/test-001_run-sval/files/unix/sval/input.03
--- a/tests/test-001_run-sval/files/unix/sval/input.04
+++ b/tests/test-001_run-sval/files/unix/sval/input.04
--- a/tests/test-001_run-sval/files/unix/sval/input.05
+++ b/tests/test-001_run-sval/files/unix/sval/input.05
--- a/tests/test-001_run-sval/files/unix/sval/input.06
+++ b/tests/test-001_run-sval/files/unix/sval/input.06
--- a/tests/test-001_run-sval/files/unix/sval/input.07
+++ b/tests/test-001_run-sval/files/unix/sval/input.07
--- a/tests/test-001_run-sval/files/unix/sval/input.08
+++ b/tests/test-001_run-sval/files/unix/sval/input.08
--- a/tests/test-001_run-sval/files/unix/sval/input.09
+++ b/tests/test-001_run-sval/files/unix/sval/input.09
--- a/tests/test-001_run-sval/files/unix/sval/input.10
+++ b/tests/test-001_run-sval/files/unix/sval/input.10
--- a/tests/test-001_run-sval/files/win/sval/input.01
+++ b/tests/test-001_run-sval/files/win/sval/input.01
--- a/tests/test-001_run-sval/files/win/sval/input.02
+++ b/tests/test-001_run-sval/files/win/sval/input.02
--- a/tests/test-001_run-sval/files/win/sval/input.03
+++ b/tests/test-001_run-sval/files/win/sval/input.03
--- a/tests/test-001_run-sval/files/win/sval/input.04
+++ b/tests/test-001_run-sval/files/win/sval/input.04
--- a/tests/test-001_run-sval/files/win/sval/input.05
+++ b/tests/test-001_run-sval/files/win/sval/input.05
--- a/tests/test-001_run-sval/files/win/sval/input.06
+++ b/tests/test-001_run-sval/files/win/sval/input.06
--- a/tests/test-001_run-sval/files/win/sval/input.07
+++ b/tests/test-001_run-sval/files/win/sval/input.07
--- a/tests/test-001_run-sval/files/win/sval/input.08
+++ b/tests/test-001_run-sval/files/win/sval/input.08
--- a/tests/test-001_run-sval/files/win/sval/input.09
+++ b/tests/test-001_run-sval/files/win/sval/input.09
--- a/tests/test-001_run-sval/files/win/sval/input.10
+++ b/tests/test-001_run-sval/files/win/sval/input.10
--- a/tests/test-001_run-sval/refs/r-sval-input.01/exit_code
+++ b/tests/test-001_run-sval/refs/r-sval-input.01/exit_code
--- a/tests/test-001_run-sval/refs/r-sval-input.01/stderr
+++ b/tests/test-001_run-sval/refs/r-sval-input.01/stderr
--- a/tests/test-001_run-sval/refs/r-sval-input.01/stdout
+++ b/tests/test-001_run-sval/refs/r-sval-input.01/stdout
--- a/tests/test-001_run-sval/refs/r-sval-input.02/exit_code
+++ b/tests/test-001_run-sval/refs/r-sval-input.02/exit_code
--- a/tests/test-001_run-sval/refs/r-sval-input.02/stderr
+++ b/tests/test-001_run-sval/refs/r-sval-input.02/stderr
--- a/tests/test-001_run-sval/refs/r-sval-input.02/stdout
+++ b/tests/test-001_run-sval/refs/r-sval-input.02/stdout
--- a/tests/test-001_run-sval/refs/r-sval-input.03/exit_code
+++ b/tests/test-001_run-sval/refs/r-sval-input.03/exit_code
--- a/tests/test-001_run-sval/refs/r-sval-input.03/stderr
+++ b/tests/test-001_run-sval/refs/r-sval-input.03/stderr
--- a/tests/test-001_run-sval/refs/r-sval-input.03/stdout
+++ b/tests/test-001_run-sval/refs/r-sval-input.03/stdout
--- a/tests/test-001_run-sval/refs/r-sval-input.04/exit_code
+++ b/tests/test-001_run-sval/refs/r-sval-input.04/exit_code
--- a/tests/test-001_run-sval/refs/r-sval-input.04/stderr
+++ b/tests/test-001_run-sval/refs/r-sval-input.04/stderr
--- a/tests/test-001_run-sval/refs/r-sval-input.04/stdout
+++ b/tests/test-001_run-sval/refs/r-sval-input.04/stdout
--- a/tests/test-001_run-sval/refs/r-sval-input.05/exit_code
+++ b/tests/test-001_run-sval/refs/r-sval-input.05/exit_code
--- a/tests/test-001_run-sval/refs/r-sval-input.05/stderr
+++ b/tests/test-001_run-sval/refs/r-sval-input.05/stderr
--- a/tests/test-001_run-sval/refs/r-sval-input.05/stdout
+++ b/tests/test-001_run-sval/refs/r-sval-input.05/stdout
--- a/tests/test-001_run-sval/refs/r-sval-input.06/exit_code
+++ b/tests/test-001_run-sval/refs/r-sval-input.06/exit_code
--- a/tests/test-001_run-sval/refs/r-sval-input.06/stderr
+++ b/tests/test-001_run-sval/refs/r-sval-input.06/stderr
--- a/tests/test-001_run-sval/refs/r-sval-input.06/stdout
+++ b/tests/test-001_run-sval/refs/r-sval-input.06/stdout
--- a/tests/test-001_run-sval/refs/r-sval-input.07/exit_code
+++ b/tests/test-001_run-sval/refs/r-sval-input.07/exit_code
--- a/tests/test-001_run-sval/refs/r-sval-input.07/stderr
+++ b/tests/test-001_run-sval/refs/r-sval-input.07/stderr
--- a/tests/test-001_run-sval/refs/r-sval-input.07/stdout
+++ b/tests/test-001_run-sval/refs/r-sval-input.07/stdout
--- a/tests/test-001_run-sval/refs/r-sval-input.08/exit_code
+++ b/tests/test-001_run-sval/refs/r-sval-input.08/exit_code
--- a/tests/test-001_run-sval/refs/r-sval-input.08/stderr
+++ b/tests/test-001_run-sval/refs/r-sval-input.08/stderr
--- a/tests/test-001_run-sval/refs/r-sval-input.08/stdout
+++ b/tests/test-001_run-sval/refs/r-sval-input.08/stdout
--- a/tests/test-001_run-sval/refs/r-sval-input.09/exit_code
+++ b/tests/test-001_run-sval/refs/r-sval-input.09/exit_code
--- a/tests/test-001_run-sval/refs/r-sval-input.09/stderr
+++ b/tests/test-001_run-sval/refs/r-sval-input.09/stderr
--- a/tests/test-001_run-sval/refs/r-sval-input.09/stdout
+++ b/tests/test-001_run-sval/refs/r-sval-input.09/stdout
--- a/tests/test-001_run-sval/refs/r-sval-input.10/exit_code
+++ b/tests/test-001_run-sval/refs/r-sval-input.10/exit_code
--- a/tests/test-001_run-sval/refs/r-sval-input.10/stderr
+++ b/tests/test-001_run-sval/refs/r-sval-input.10/stderr
--- a/tests/test-001_run-sval/refs/r-sval-input.10/stdout
+++ b/tests/test-001_run-sval/refs/r-sval-input.10/stdout
--- a/tests/test-001_run-sval/run.sh
+++ b/tests/test-001_run-sval/run.sh