Skip to content
Test Generated Java

Don't replace abstract state of higher order functions with bottom when we can avoid it (now guarded by --fancy-and-powerful-but-exponentially-slow-bounds-analysis) #4983

Sign in to view logs

Don't replace abstract state of higher order functions with bottom when we can avoid it (now guarded by --fancy-and-powerful-but-exponentially-slow-bounds-analysis)

Don't replace abstract state of higher order functions with bottom when we can avoid it (now guarded by --fancy-and-powerful-but-exponentially-slow-bounds-analysis) #4983

Workflow file for this run

.github/workflows/java.yml at d04cd90
name: Test Generated Java
on:
push:
pull_request:
merge_group:
schedule:
- cron: '0 0 1 * *'
jobs:
test-java:
runs-on: ubuntu-latest
concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
cancel-in-progress: true
steps:
- uses: actions/checkout@v4
with:
submodules: recursive
- name: Set up JDK 1.8
uses: actions/[email protected]
with:
java-version: 8
distribution: 'zulu'
- name: make only-test-java-files
run: make only-test-java-files EXTERNAL_DEPENDENCIES=1
- name: make documentation
run: make only-javadoc EXTERNAL_DEPENDENCIES=1
- uses: actions/upload-artifact@v3
with:
name: fiat-javadoc
path: fiat-java/doc