Skip to content
Test

Implement F.DataDecl on top of Z3 Datatypes #1451

Sign in to view logs

Implement F.DataDecl on top of Z3 Datatypes

Implement F.DataDecl on top of Z3 Datatypes #1451

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Full - pharo, ubuntu-latest, z3-4.13.0
5s
Full - pharo, ubuntu-latest, z3-4.8.12
7s
Z3 bindings only - pharo, ubuntu-latest, z3-4.13.0
6s
Full - pharo, ubuntu-latest,
9s
Z3 bindings only - pharo, ubuntu-latest, z3-4.8.12
6s
Z3 bindings only - pharo, ubuntu-latest,
8s
Z3 bindings only - stx, ubuntu-latest, z3-4.13.0
9s
Z3 bindings only - stx, ubuntu-latest, z3-4.8.12
20s
Z3 bindings only - stx, ubuntu-latest,
19s
1m 29s