diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2020-05-04 13:12:39 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2020-05-04 13:12:39 +0200 |
| commit | 4f6c5833a149d0659f4bffaaeb464cd9864b3a9b (patch) | |
| tree | 8310bebdd87a8ffde2e714bd0d61cffee91d496c /test | |
| parent | cb7f9dae1d354bbf94d8da87e3d4c72057992965 (diff) | |
| download | compcert-kvx-4f6c5833a149d0659f4bffaaeb464cd9864b3a9b.tar.gz compcert-kvx-4f6c5833a149d0659f4bffaaeb464cd9864b3a9b.zip | |
Update on testsuite and INSTALL.md
Diffstat (limited to 'test')
| -rwxr-xr-x | test/mppa/simucheck.sh | 4 | ||||
| -rwxr-xr-x | test/mppa/simutest.sh | 4 |
2 files changed, 6 insertions, 2 deletions
diff --git a/test/mppa/simucheck.sh b/test/mppa/simucheck.sh index 25fb9947..48698e35 100755 --- a/test/mppa/simucheck.sh +++ b/test/mppa/simucheck.sh @@ -1,6 +1,8 @@ #!/bin/bash # Tests the execution of the binaries produced by CompCert, by simulation +cores=$(grep -c ^processor /proc/cpuinfo) + source do_test.sh -do_test check $1 +do_test check $cores diff --git a/test/mppa/simutest.sh b/test/mppa/simutest.sh index 3b1021e6..729d1ba0 100755 --- a/test/mppa/simutest.sh +++ b/test/mppa/simutest.sh @@ -1,6 +1,8 @@ #!/bin/bash # Tests the validity of the tests, in simulator +cores=$(grep -c ^processor /proc/cpuinfo) + source do_test.sh -do_test test $1 +do_test test $cores |