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

test release fetcher

Browse Source
This commit is contained in:
damirka 2021-08-17 10:44:44 +03:00
parent 7d074f368d
commit 031cc98077
1 changed files with 36 additions and 28 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

62
.github/workflows/acl2.yml vendored
View File

@ -12,34 +12,42 @@ jobs:
- name: Checkout - name: Checkout
uses: actions/checkout@v2 uses: actions/checkout@v2
- name: Install Rust # - name: Install Rust
uses: actions-rs/toolchain@v1 # uses: actions-rs/toolchain@v1
# with:
# profile: minimal
# toolchain: stable
# override: true
# - name: Prepare tgc
# run: |
# cd acl2 && gunzip leo-acl2.lx86cl64.gz
# ls -la .
# - name: Generate asts
# run: |
# cargo run -p leo-test-framework --bin tgc
- name: Download tgc
uses: pozetroninc/github-action-get-latest-release@master
with: with:
profile: minimal repository: AleoHQ/leo-acl2-bin
toolchain: stable
override: true
- name: Prepare tgc - name: List files
run: | run: |
cd acl2 && gunzip leo-acl2.lx86cl64.gz ls -la
ls -la .
- name: Generate asts # - name: Run tgc over the asts
run: | # run: |
cargo run -p leo-test-framework --bin tgc # ARRAY=();
ls -l tmp # for dir in `ls tmp/tgc`;
# do
- name: Run tgc over the asts # cd tmp/tgc/$dir; # enter the directory
run: | # ./../../../acl2/tgc canonicalization initial_ast.json canonicalization_ast.json canonicalization-theorem.lisp || ARRAY+=("$dir");
ARRAY=(); # cd ../../..
for dir in `ls tmp/tgc`; # done;
do # echo "Failures:";
cd tmp/tgc/$dir; # enter the directory # for i in ${ARRAY[@]};
./../../../acl2/tgc canonicalization initial_ast.json canonicalization_ast.json canonicalization-theorem.lisp || ARRAY+=("$dir"); # do
cd ../../.. # echo $i;
done; # done;
echo "Failures:";
for i in ${ARRAY[@]};
do
echo $i;
done;