Skip to content
Test

Implement F.DataDecl on top of Z3 Datatypes #1447

Sign in to view logs

Implement F.DataDecl on top of Z3 Datatypes

Implement F.DataDecl on top of Z3 Datatypes #1447

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Z3 bindings only - pharo, ubuntu-latest, z3-4.13.0
1m 23s
Full - pharo, ubuntu-latest, z3-4.13.0
1m 23s
Z3 bindings only - pharo, ubuntu-latest, z3-4.8.12
1m 27s
Full - pharo, ubuntu-latest, z3-4.8.12
1m 22s
Z3 bindings only - pharo, ubuntu-latest,
1m 21s
Full - pharo, ubuntu-latest,
1m 14s
Z3 bindings only - stx, ubuntu-latest, z3-4.13.0
25s
Z3 bindings only - stx, ubuntu-latest, z3-4.8.12
34s
Z3 bindings only - stx, ubuntu-latest,
25s
9m 34s