Skip to content
Test

Implement F.DataDecl on top of Z3 Datatypes #1422

Sign in to view logs

Implement F.DataDecl on top of Z3 Datatypes

Implement F.DataDecl on top of Z3 Datatypes #1422

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Full - pharo, ubuntu-latest, z3-4.13.0
15s
Z3 bindings only - pharo, ubuntu-latest, z3-4.13.0
24s
Full - pharo, ubuntu-latest, z3-4.8.12
15s
Z3 bindings only - pharo, ubuntu-latest, z3-4.8.12
17s
Full - pharo, ubuntu-latest,
15s
Z3 bindings only - pharo, ubuntu-latest,
15s
Z3 bindings only - stx, ubuntu-latest, z3-4.13.0
20s
Z3 bindings only - stx, ubuntu-latest, z3-4.8.12
28s
Z3 bindings only - stx, ubuntu-latest,
24s
2m 53s