diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2022-10-05 11:28:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-05 11:28:20 +0200 |
| commit | 11203815a819fcb247cb30da9b17c409b3676c77 (patch) | |
| tree | fbbb53920cb63234b8d58614f423015363239bc7 /misc | |
| parent | b5d3920bf5441c6d9f83ee5345fbd3ca80adf098 (diff) | |
| parent | 47e73826e0bf53c514531687dd3a7e1fb7f29a13 (diff) | |
| download | yosys-11203815a819fcb247cb30da9b17c409b3676c77.tar.gz yosys-11203815a819fcb247cb30da9b17c409b3676c77.tar.bz2 yosys-11203815a819fcb247cb30da9b17c409b3676c77.zip | |
Merge pull request #3500 from nakengelhardt/mutate_warn_not_enough
mutate: warn if less mutations possible than number requested
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions