Skip to content

Actions: Z3Prover/z3

Actions

Code Coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
1,019 workflow run results
1,019 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add scoped_vector invariants and unit tests Code Coverage #3600: Pull request #7327 synchronize by ChuyueSun
August 2, 2024 23:26 36m 58s ChuyueSun:scoped_vector
ChuyueSun:scoped_vector
August 2, 2024 23:26 36m 58s
add scoped_vector invariants and unit tests Code Coverage #3599: Pull request #7327 opened by ChuyueSun
August 2, 2024 19:08 33m 44s ChuyueSun:scoped_vector
ChuyueSun:scoped_vector
August 2, 2024 19:08 33m 44s
add static Code Coverage #3598: Commit ea9fa17 pushed by NikolajBjorner
August 2, 2024 18:38 36m 48s master
master
August 2, 2024 18:38 36m 48s
assert -> SASSERT Code Coverage #3597: Commit 23e7dc0 pushed by NikolajBjorner
August 2, 2024 18:36 36m 56s master
master
August 2, 2024 18:36 36m 56s
add apply_permutation tests Code Coverage #3596: Pull request #7322 synchronize by ChuyueSun
August 2, 2024 18:18 36m 42s ChuyueSun:permutation_test
ChuyueSun:permutation_test
August 2, 2024 18:18 36m 42s
add apply_permutation tests Code Coverage #3595: Pull request #7322 synchronize by NikolajBjorner
August 2, 2024 18:13 13m 4s ChuyueSun:permutation_test
ChuyueSun:permutation_test
August 2, 2024 18:13 13m 4s
Code Coverage Code Coverage #3594: Scheduled
August 2, 2024 11:05 36m 54s master
master
August 2, 2024 11:05 36m 54s
add apply_permutation tests Code Coverage #3593: Pull request #7322 synchronize by ChuyueSun
August 2, 2024 00:02 13m 14s ChuyueSun:permutation_test
ChuyueSun:permutation_test
August 2, 2024 00:02 13m 14s
fix dlist tests (#7323) Code Coverage #3592: Commit fe59461 pushed by NikolajBjorner
August 1, 2024 23:56 36m 41s master
master
August 1, 2024 23:56 36m 41s
update heap unit tests Code Coverage #3591: Pull request #7324 synchronize by ChuyueSun
August 1, 2024 23:50 29m 21s ChuyueSun:heap
ChuyueSun:heap
August 1, 2024 23:50 29m 21s
update heap unit tests Code Coverage #3589: Pull request #7324 opened by ChuyueSun
August 1, 2024 21:26 6h 0m 25s ChuyueSun:heap
ChuyueSun:heap
August 1, 2024 21:26 6h 0m 25s
fix dlist tests Code Coverage #3588: Pull request #7323 opened by ChuyueSun
August 1, 2024 20:54 36m 51s ChuyueSun:dlist
ChuyueSun:dlist
August 1, 2024 20:54 36m 51s
add permutation unit tests (#7300) Code Coverage #3587: Commit 6ba25b8 pushed by NikolajBjorner
August 1, 2024 19:56 36m 53s master
master
August 1, 2024 19:56 36m 53s
add permutation unit tests Code Coverage #3586: Pull request #7300 synchronize by NikolajBjorner
August 1, 2024 18:34 36m 27s ChuyueSun:permutation_test
ChuyueSun:permutation_test
August 1, 2024 18:34 36m 27s
add permutation unit tests Code Coverage #3585: Pull request #7300 synchronize by ChuyueSun
August 1, 2024 14:18 37m 22s ChuyueSun:permutation_test
ChuyueSun:permutation_test
August 1, 2024 14:18 37m 22s
Code Coverage Code Coverage #3584: Scheduled
August 1, 2024 11:05 36m 29s master
master
August 1, 2024 11:05 36m 29s
Added "λ" pretty printing to python (#7320) Code Coverage #3583: Commit e7382d6 pushed by NikolajBjorner
July 31, 2024 15:14 36m 53s master
master
July 31, 2024 15:14 36m 53s
Add "λ" pretty printing to python Code Coverage #3582: Pull request #7320 opened by philzook58
July 31, 2024 13:18 36m 50s philzook58:pplambda
philzook58:pplambda
July 31, 2024 13:18 36m 50s
Code Coverage Code Coverage #3581: Scheduled
July 31, 2024 11:05 36m 37s master
master
July 31, 2024 11:05 36m 37s
fix #7292 (#7316) Code Coverage #3580: Commit 0c16d34 pushed by NikolajBjorner
July 30, 2024 18:35 37m 4s master
master
July 30, 2024 18:35 37m 4s
Revert "add scoped vector unit test (#7307)" (#7317) Code Coverage #3579: Commit 5fcc50f pushed by NikolajBjorner
July 30, 2024 18:34 36m 59s master
master
July 30, 2024 18:34 36m 59s
Revert "add scoped vector unit test" Code Coverage #3578: Pull request #7317 opened by NikolajBjorner
July 30, 2024 18:33 37m 14s revert-7307-scoped_vector
revert-7307-scoped_vector
July 30, 2024 18:33 37m 14s
Code Coverage Code Coverage #3577: Scheduled
July 30, 2024 11:05 33m 22s master
master
July 30, 2024 11:05 33m 22s
add scoped vector unit test (#7307) Code Coverage #3576: Commit 2ae3d87 pushed by NikolajBjorner
July 29, 2024 18:08 33m 48s master
master
July 29, 2024 18:08 33m 48s
Gcc 15 two phase (#7313) Code Coverage #3575: Commit 2ce89e5 pushed by NikolajBjorner
July 29, 2024 18:07 38m 31s master
master
July 29, 2024 18:07 38m 31s