[Ada] Add ghost code to facilitate proof with SPARK
[official-gcc.git] / libstdc++-v3 / testsuite / 26_numerics / 
tree7dca7d81c81b3c7889280df70628785c30ebc767
drwxr-xr-x   ..
drwxr-xr-x - accumulate
drwxr-xr-x - adjacent_difference
drwxr-xr-x - bit
drwxr-xr-x - complex
drwxr-xr-x - endian
drwxr-xr-x - exclusive_scan
drwxr-xr-x - gcd
drwxr-xr-x - headers
drwxr-xr-x - inclusive_scan
drwxr-xr-x - inner_product
drwxr-xr-x - iota
drwxr-xr-x - lcm
drwxr-xr-x - lerp
drwxr-xr-x - midpoint
drwxr-xr-x - numbers
drwxr-xr-x - partial_sum
drwxr-xr-x - pstl
drwxr-xr-x - random
drwxr-xr-x - reduce
drwxr-xr-x - slice
drwxr-xr-x - slice_array
drwxr-xr-x - transform_exclusive_scan
drwxr-xr-x - transform_inclusive_scan
drwxr-xr-x - transform_reduce
drwxr-xr-x - valarray