mirror of
https://github.com/AdaCore/why3.git
synced 2026-02-12 12:34:55 -08:00
19 lines
486 B
Plaintext
19 lines
486 B
Plaintext
binary_sort
|
|
conjugate
|
|
# counting_sort # randomly fail with Z3
|
|
dfs
|
|
finite_tarski
|
|
insertion_sort
|
|
# kmp # randomly fail with z3 4.8.4
|
|
leftist_heap
|
|
# mergesort_array # fail with Alt-Ergo 2.3.0
|
|
pairing_heap
|
|
# rightmostbittrick # randomly fail with CVC4 1.5
|
|
# sieve # fail with Alt-Ergo 2.3.0
|
|
# sudoku # some goals are too long for the continuous integration
|
|
toy_compiler
|
|
# tree_of_list # uses Alt-Ergo 2.2.0 and CVC4 1.6
|
|
vstte10_max_sum
|
|
# warshall_algorithm # fail with Alt-Ergo 2.3.0
|
|
zeros
|