[Ada] Add ghost code to facilitate proof with SPARK
[official-gcc.git] / libstdc++-v3 / testsuite / performance / 25_algorithms / 
treebc645c61729993553a5c6d7f6694fb77ba6ea3f1
drwxr-xr-x   ..
-rw-r--r-- 3338 copy_backward_deque_iterators.cc
-rw-r--r-- 3289 copy_deque_iterators.cc
-rw-r--r-- 2584 copy_streambuf_iterators.cc
-rw-r--r-- 2590 equal_deque_iterators.cc
-rw-r--r-- 1513 find_istreambuf_iterators.cc
-rw-r--r-- 8346 inplace_merge.cc
-rw-r--r-- 1255 lexicographical_compare.cc
-rw-r--r-- 1450 nth_element_worst_case.cc
-rw-r--r-- 1997 search_n.cc
-rw-r--r-- 1843 sort.cc
-rw-r--r-- 2091 sort_heap.cc
-rw-r--r-- 3487 stable_sort.cc