diff options
| author | Brian Campbell | 2019-04-16 17:14:01 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-04-16 17:47:36 +0100 |
| commit | e7724d97ab99b86ff4a5595fb910e7c3205555af (patch) | |
| tree | 9097a84127a11db3bc7afa65f459fc55cf85a1d3 /test | |
| parent | 3309f4484b819f56555065876c72eac8094538de (diff) | |
Coq: make bools_of_int (and hence get_slice_int) compute well
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions