aboutsummaryrefslogtreecommitdiff
path: root/ci-tests/test-spike
diff options
context:
space:
mode:
authorAndrew Waterman <andrew@sifive.com>2022-09-23 16:06:21 -0700
committerAndrew Waterman <andrew@sifive.com>2022-09-23 16:06:21 -0700
commitd17b1767885000ed829eee9e985ae4a680f13377 (patch)
tree47f1877d85860754e942f2a73c8cd031c3e36861 /ci-tests/test-spike
parent7668b414bb84798f2f57bbd1d9708b72b091c362 (diff)
downloadspike-d17b1767885000ed829eee9e985ae4a680f13377.zip
spike-d17b1767885000ed829eee9e985ae4a680f13377.tar.gz
spike-d17b1767885000ed829eee9e985ae4a680f13377.tar.bz2
Actually run a program in CI
To avoid long CI times, keep the program in binary form. To avoid storing binary files in this repository, store the binaries as an asset on a github release.
Diffstat (limited to 'ci-tests/test-spike')
-rwxr-xr-xci-tests/test-spike8
1 files changed, 8 insertions, 0 deletions
diff --git a/ci-tests/test-spike b/ci-tests/test-spike
index 2da04ff..fa9bbdd 100755
--- a/ci-tests/test-spike
+++ b/ci-tests/test-spike
@@ -12,3 +12,11 @@ make install
# check that help message prints without error
install/bin/spike -h
+
+
+# run a program and check for correct output
+mkdir run
+cd run
+wget https://github.com/riscv-software-src/riscv-isa-sim/releases/download/dummy-tag-for-ci-storage/spike-ci.tar
+tar xf spike-ci.tar
+time ../install/bin/spike --isa=rv64gc pk hello | grep "Hello, world! Pi is approximately 3.141588."