diff options
| author | Jason Gross | 2019-11-25 00:47:13 -0500 |
|---|---|---|
| committer | Jason Gross | 2019-11-25 00:47:39 -0500 |
| commit | f269ffd88b6a725d8f8f6a7bf1e91799b361a31f (patch) | |
| tree | 7416778cecaa4db37048dd6f18e6e2e4001058fa /kernel/nativecode.mli | |
| parent | 7177a6f76e74eb6e97c634bad484027bf94979bd (diff) | |
Add a complexity test for `pattern`
This is to hopefully prevent regressions on
https://github.com/coq/coq/issues/11150 and
https://github.com/coq/coq/issues/6502.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions