diff options
author | Clifford Wolf <clifford@clifford.at> | 2016-04-13 15:30:27 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2016-04-13 15:30:27 +0200 |
commit | 9db6d8fd7efbfa952074198090d94abbdebaa5b0 (patch) | |
tree | d982898874f40cc600e58151c1dc59a6957ab8b7 /scripts/torture | |
parent | a9ed992078e56011842f04cc58e41dc3cb7593bd (diff) | |
download | picorv32-9db6d8fd7efbfa952074198090d94abbdebaa5b0.tar.gz picorv32-9db6d8fd7efbfa952074198090d94abbdebaa5b0.zip |
Added batch size parameter for torture test
Diffstat (limited to 'scripts/torture')
-rw-r--r-- | scripts/torture/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/scripts/torture/Makefile b/scripts/torture/Makefile index 3a063c7..53de458 100644 --- a/scripts/torture/Makefile +++ b/scripts/torture/Makefile @@ -30,7 +30,8 @@ riscv-isa-sim/build.ok: riscv-fesvr/build.ok cd riscv-isa-sim && LDFLAGS="-L../riscv-fesvr" ./configure --with-isa=RV32IMC +cd riscv-isa-sim && ln -s ../riscv-fesvr/fesvr . && make && touch build.ok -batch_list = $(shell bash -c 'for i in {0..999}; do printf "%03d\n" $$i; done') +batch_size = 1000 +batch_list = $(shell bash -c 'for i in {0..$(shell expr $(batch_size) - 1)}; do printf "%03d\n" $$i; done') batch: $(addprefix tests/test_,$(addsuffix .ok,$(batch_list))) @@ -48,7 +49,7 @@ tests/testbench.vvp: testbench.v ../../picorv32.v tests/generated.ok: config.vh riscv-torture/build.ok mkdir -p tests rm -f riscv-torture/output/test_* - cd riscv-torture && ./sbt 'generator/run -C config/test.config -n 1000' + cd riscv-torture && ./sbt 'generator/run -C config/test.config -n $(batch_size)' touch tests/generated.ok define test_template |