2024-09-17 17:04:30 +03:00

3 lines
62 B
Bash
Executable File

TEST_NAME=$1
./valida verify ./$TEST_NAME ./$TEST_NAME.proof