ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-25 21:16:41 +03:00
Code Issues Packages Projects Releases Wiki Activity

Update CI to run hackers-delight examples

Browse Source
This commit is contained in:
Pranav Gaddamadugu 2022-08-11 09:38:13 -07:00
parent 7bbaaf4245
commit ae8b3b8f8e
1 changed files with 48 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

48
.circleci/test-examples.sh
View File

@ -96,3 +96,51 @@
cd ./project/examples/twoadicity || exit
$LEO run main
)
# Build and run the hackers-delight/ntzdebruijin program.
(
cd ./project/examples/hackers-delight/ntzdebruijin || exit
$LEO run
)
# Build and run the hackers-delight/ntzgaudet program.
(
cd ./project/examples/hackers-delight/ntzgaudet || exit
$LEO run
)
# Build and run the hackers-delight/ntzloops program.
(
cd ./project/examples/hackers-delight/ntzloops || exit
$LEO run
)
# Build and run the hackers-delight/ntzmasks program.
(
cd ./project/examples/hackers-delight/ntzmasks || exit
$LEO run
)
# Build and run the hackers-delight/ntzreisers program.
(
cd ./project/examples/hackers-delight/ntzreisers || exit
$LEO run
)
# Build and run the hackers-delight/ntzseals program.
(
cd ./project/examples/hackers-delight/ntzseals || exit
$LEO run
)
# Build and run the hackers-delight/ntzsearchtree program.
(
cd ./project/examples/hackers-delight/ntzsearchtree || exit
$LEO run
)
# Build and run the hackers-delight/ntzsmallvals program.
(
cd ./project/examples/hackers-delight/ntzsmallvals || exit
$LEO run
)