name: Leo-ACL2
on: 
  push:
env: 
  RUST_BACKTRACE: 1

jobs:
  acl2:
    name: leo-acl2
    runs-on: ubuntu-latest
    steps:
      - name: Checkout
        uses: actions/checkout@v2

      - name: Install Rust
        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
          ls -l tmp

      - name: Run tgc over the asts
        run: |
          ARRAY=();
          for dir in `ls tmp/tgc`;
          do
            cd tmp/tgc/$dir; # enter the directory
            ./../../../acl2/tgc canonicalization initial_ast.json canonicalization_ast.json canonicalization-theorem.lisp || ARRAY+=("$dir");
            cd ../../..
          done;
          echo "Failures:";
          for i in ${ARRAY[@]};
          do
          echo $i;
          done;