diff options
| author | Pierre Roux | 2020-04-15 12:40:21 +0200 |
|---|---|---|
| committer | Pierre Roux | 2020-05-22 12:15:22 +0200 |
| commit | 5b2e6c3567329ebe8d9a680ef914a84aeae312a1 (patch) | |
| tree | ba452f13d8b0498c1f75a8681aaedb1080ec0d23 /dev/tools | |
| parent | 4bab69688d91648ec1725f6294b7430622e6accf (diff) | |
[coqchk] Improve previous heuristic.
Instead of considering all constants without body in the environment,
consider only the ones appearing in the body of the opacified constant.
Diffstat (limited to 'dev/tools')
0 files changed, 0 insertions, 0 deletions