diff options
| author | Kazuhiko Sakaguchi | 2019-04-05 19:11:55 +0200 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2019-04-08 10:25:00 +0200 |
| commit | a348deb229074be37ff31fd892a7d8835a49b566 (patch) | |
| tree | 89436516b4cdf64af87c477e9a034227d66c6c4c /mathcomp/solvable | |
| parent | 407b4c412d4a1324450d01fa09a41aad7673b1bf (diff) | |
New test cases generation: corrent implementation of least common children
Add a new option `-raw-inheritances` to `hierarchy-diagram` to generate an
intermediate file for `hierarchy_test.py`. So the typical usage is:
$ python3.5 etc/utils/hierarchy_test.py \
<(etc/utils/hierarchy-diagram -raw-inheritances -R mathcomp mathcomp) \
> mathcomp/test_suite/hierarchy_test.v
Diffstat (limited to 'mathcomp/solvable')
0 files changed, 0 insertions, 0 deletions