-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathsimple-test
More file actions
executable file
·8 lines (8 loc) · 885 Bytes
/
simple-test
File metadata and controls
executable file
·8 lines (8 loc) · 885 Bytes
1
2
3
4
5
6
7
8
#!/bin/sh
printf "\nTesting program DownFrom:\n" && agda-llvm --llvm ./agda-programs-working/DownFrom.agda && valgrind ./program
printf "\nTesting program DownFromOpt:\n" && agda-llvm --llvm ./agda-programs-working/DownFromOpt.agda && valgrind ./program
printf "\nTesting program Identity:\n" && agda-llvm --llvm ./agda-programs-working/Identity.agda && valgrind ./program
printf "\nTesting program Fst:\n" && agda-llvm --llvm ./agda-programs-working/Fst.agda && valgrind ./program
printf "\nTesting program NFib:\n" && agda-llvm --llvm ./agda-programs-working/NFib.agda && valgrind ./program
printf "\nTesting program NFibS:\n" && agda-llvm --llvm ./agda-programs-working/NFibS.agda && valgrind ./program
printf "\nTesting program UpTo:\n" && agda-llvm --llvm ./agda-programs-working/UpTo.agda && valgrind ./program