Revert "Merge pull request #1702 from Kelimion/filename_generation"

This reverts commit a40a53b104, reversing
changes made to 5422a3b17e.
This commit is contained in:
Jeroen van Rijn
2022-04-24 19:53:36 +02:00
parent a40a53b104
commit 63331ef731
21 changed files with 436 additions and 699 deletions
+4 -6
View File
@@ -1,8 +1,6 @@
@echo off
set OUT_FILE=test_binary.exe
set COMMON=-show-timings -no-bounds-check -vet -strict-style -collection:tests=.. -out:%OUT_FILE%
set COMMON=-show-timings -no-bounds-check -vet -strict-style -collection:tests=..
set PATH_TO_ODIN==..\..\odin
python3 download_assets.py
echo ---
echo Running core:image tests
@@ -37,14 +35,14 @@ echo ---
echo ---
echo Running core:encoding tests
echo ---
%PATH_TO_ODIN% run encoding/hxa %COMMON%
%PATH_TO_ODIN% run encoding/json %COMMON%
%PATH_TO_ODIN% run encoding/hxa %COMMON%
%PATH_TO_ODIN% run encoding/json %COMMON%
%PATH_TO_ODIN% run encoding/varint %COMMON%
echo ---
echo Running core:math/noise tests
echo ---
%PATH_TO_ODIN% run math/noise %COMMON%
%PATH_TO_ODIN% run math/noise %COMMON%
echo ---
echo Running core:math tests