From 357db13cfab10a79aa8c82c1a1b4bd4089c0199c Mon Sep 17 00:00:00 2001 From: jtristan Date: Wed, 24 Apr 2024 16:05:30 -0400 Subject: [PATCH] KS test --- .github/workflows/test.yml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 8fef1a19..d3ec1983 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -20,18 +20,18 @@ jobs: - uses: actions/checkout@v4 + - name: install Dafny + run: wget https://github.com/dafny-lang/dafny/releases/download/v4.4.0/dafny-4.4.0-x64-ubuntu-20.04.zip ; unzip dafny-4.4.0-x64-ubuntu-20.04.zip + + - name: install Python dependences + run: pip install matplotlib numpy + - name: build std id: build run: lake build -Kwerror FastExtract - - name: install Dafny - run: wget https://github.com/dafny-lang/dafny/releases/download/v4.4.0/dafny-4.4.0-x64-ubuntu-20.04.zip ; unzip dafny-4.4.0-x64-ubuntu-20.04.zip - - name: build Python version of SampCert run: dafny/dafny build --target:py Tests/SampCert.dfy Tests/Random.py Tests/testing-kolmogorov-discretegaussian.py -o Tests/SampCert.dfy - - name: install Python dependences - run: pip install matplotlib numpy - - name: run Test run: python3 Tests/SampCert-py/testing-kolmogorov-discretegaussian.py \ No newline at end of file