-
Notifications
You must be signed in to change notification settings - Fork 2
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge branch 'main' into cleanup-tests
- Loading branch information
Showing
12 changed files
with
75 additions
and
51 deletions.
There are no files selected for viewing
This file was deleted.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,14 @@ | ||
| name: 'Run C# tests' | ||
| on: | ||
| workflow_dispatch: | ||
| pull_request: | ||
| push: | ||
| branches: | ||
| - 'main' | ||
| jobs: | ||
| all: | ||
| runs-on: ubuntu-latest | ||
| steps: | ||
| - uses: actions/checkout@v4 | ||
| - run: bash scripts/prep.sh | ||
| - run: DAFNY=dafny/dafny LANG=cs bash scripts/test.sh |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,14 @@ | ||
| name: 'Run Java tests' | ||
| on: | ||
| workflow_dispatch: | ||
| pull_request: | ||
| push: | ||
| branches: | ||
| - 'main' | ||
| jobs: | ||
| all: | ||
| runs-on: ubuntu-latest | ||
| steps: | ||
| - uses: actions/checkout@v4 | ||
| - run: bash scripts/prep.sh | ||
| - run: DAFNY=dafny/dafny LANG=java bash scripts/test.sh |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,6 @@ | ||
| #!/bin/bash | ||
|
|
||
| VERSION=https://github.com/dafny-lang/dafny/releases/download/v4.2.0/dafny-4.2.0-x64-ubuntu-20.04.zip | ||
|
|
||
| wget $VERSION | ||
| unzip `basename $VERSION` |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,39 @@ | ||
| #!/bin/bash | ||
|
|
||
| set -e | ||
|
|
||
| if [ -z ${DAFNY+x} ] | ||
| then | ||
| echo "Set the DAFNY variable" | ||
| exit 1 | ||
| fi | ||
|
|
||
| if [ -z ${LANG+x} ] | ||
| then | ||
| echo "Set the LANG variable" | ||
| exit 1 | ||
| fi | ||
|
|
||
| echo Running $LANG tests... | ||
| echo "Running tests/TestsFoundational.dfy:" | ||
| time $DAFNY test --target:$LANG interop/$LANG/DRandomCoin.$LANG interop/$LANG/DRandomUniform.$LANG tests/TestsFoundational.dfy | ||
| echo "Running tests/TestsExternUniform.dfy:" | ||
| time $DAFNY test --target:$LANG interop/$LANG/DRandomCoin.$LANG interop/$LANG/DRandomUniform.$LANG tests/TestsExternUniform.dfy | ||
|
|
||
| echo Running $LANG documentation... | ||
| echo "Running docs/ExamplesFoundational.dfy" | ||
| $DAFNY run docs/ExamplesFoundational.dfy --target:$LANG --input interop/$LANG/DRandomCoin.$LANG --input interop/$LANG/DRandomUniform.$LANG | ||
| echo "docs/ExamplesExternUniform.dfy" | ||
| $DAFNY run docs/ExamplesExternUniform.dfy --target:$LANG --input interop/$LANG/DRandomCoin.$LANG --input interop/$LANG/DRandomUniform.$LANG | ||
|
|
||
| # echo Running Java tests... | ||
| # echo "Running tests/TestsFoundational.dfy:" | ||
| # $DAFNY test --target:java interop/java/DRandomCoin.java interop/java/DRandomUniform.java tests/TestsFoundational.dfy | ||
| # echo "Running tests/TestsExternUniform.dfy:" | ||
| # $DAFNY test --target:java interop/java/DRandomCoin.java interop/java/DRandomUniform.java tests/TestsExternUniform.dfy | ||
|
|
||
| # echo Running Java documentation... | ||
| # echo "Running docs/ExamplesFoundational.dfy" | ||
| # $DAFNY run docs/ExamplesFoundational.dfy --target:java --input interop/java/DRandomCoin.java --input interop/java/DRandomUniform.java | ||
| # echo "Running tests/TestsExternUniform.dfy:" | ||
| # $DAFNY run docs/ExamplesExternUniform.dfy --target:java --input interop/java/DRandomCoin.java --input interop/java/DRandomUniform.java |
File renamed without changes.