wmflogicgenery

  由于最近做一个项目需要对MATLAB电路图做测试，且需要满足MCDC且覆盖每个门，由于 手工生成非常麻烦而且也容易出错，所以做了个工具来自动生成测试用例(With the recent need to do a project on the MATLAB test circuit, and the need to meet and MCDC coverage of each door, hand-generated as a result of a very troublesome and error-prone, so do a tool to automatically generate test cases)