forked from chyanju/Picus
-
Notifications
You must be signed in to change notification settings - Fork 5
112 lines (105 loc) · 3.48 KB
/
full-test.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
name: Full test
on: [push, workflow_dispatch]
jobs:
configuration-test:
runs-on: ubuntu-latest
container:
image: veridise/picus:git-latest
env:
PLTADDONDIR: /root/.local/share/racket/
steps:
- uses: actions/checkout@v1
- name: linking circom
run: ln -s /root/.cargo/bin/circom /usr/bin/circom
- name: compile circomlib
run: bash ./scripts/prepare-circomlib.sh
- name: unsafe test cvc5 solver
uses: ./.github/workflows/config-test
with:
param: --solver cvc5 ./benchmarks/circomlib-cff5ab6/Decoder@multiplexer.circom
exit: 9
- name: unsafe test z3 solver
uses: ./.github/workflows/config-test
with:
param: --solver z3 ./benchmarks/circomlib-cff5ab6/Decoder@multiplexer.circom
exit: 9
- name: unsafe test circom format with opt-level 2
uses: ./.github/workflows/config-test
with:
param: --opt-level 2 ./benchmarks/circomlib-cff5ab6/Decoder@multiplexer.circom
exit: 9
- name: unsafe test r1cs format
uses: ./.github/workflows/config-test
with:
param: ./benchmarks/circomlib-cff5ab6/Decoder@multiplexer.r1cs
exit: 9
- name: unsafe test sr1cs format
uses: ./.github/workflows/config-test
with:
param: ./tests/sr1cs/unsafe.sr1cs
exit: 9
- name: safe test cvc5 solver
uses: ./.github/workflows/config-test
with:
param: --solver cvc5 ./benchmarks/circomlib-cff5ab6/AND@gates.circom
exit: 8
- name: safe test z3 solver
uses: ./.github/workflows/config-test
with:
param: --solver z3 ./benchmarks/circomlib-cff5ab6/AND@gates.circom
exit: 8
- name: safe test circom format with opt-level 2
uses: ./.github/workflows/config-test
with:
param: --opt-level 2 ./benchmarks/circomlib-cff5ab6/AND@gates.circom
exit: 8
- name: safe test r1cs format
uses: ./.github/workflows/config-test
with:
param: ./benchmarks/circomlib-cff5ab6/AND@gates.r1cs
exit: 8
- name: safe test sr1cs format
uses: ./.github/workflows/config-test
with:
param: ./tests/sr1cs/safe.sr1cs
exit: 8
- name: generate witness files
uses: ./.github/workflows/config-test
with:
param: --wtns . ./benchmarks/circomlib-cff5ab6/Decoder@multiplexer.circom
exit: 9
- name: test witness files
run: |
diff first-witness.wtns tests/data/first-witness.wtns.expect
diff second-witness.wtns tests/data/second-witness.wtns.expect
misc-test:
runs-on: ubuntu-latest
container:
image: veridise/picus:git-latest
env:
PLTADDONDIR: /root/.local/share/racket/
steps:
- uses: actions/checkout@v1
- name: run tests
run: |
raco test ./tests/performance-test.rkt
raco test ./tests/framework-test.rkt
main-test:
strategy:
fail-fast: false
matrix:
include:
- name: circomlib
num-runs: 3
jobs: '[0, 1, 2]'
path: ./tests/circomlib-test.rkt
- name: mixed
num-runs: 1
jobs: '[0]'
path: ./tests/mixed-test.rkt
uses: ./.github/workflows/main-test.yml
with:
name: ${{ matrix.name }}
num-runs: ${{ matrix.num-runs }}
jobs: ${{ matrix.jobs }}
path: ${{ matrix.path }}