- 20 Apr, 2019 1 commit
-
-
SergeyDegtyar committed
-
- 27 Feb, 2019 1 commit
-
-
testing problems: Issue #61 does not contain enough info. Issues #82 and #83 I skipped because of errors. --------------------- All of tasks will go to group regression, please change naming convention there so files are named according to issue number (for example issue_86 for directory and issue_86.ys script) directory should contain exact example from issue, or in case it was just generally described you can create your own example according to explanation. Idea for these tasks is not getting greater coverage but making sure old issues fixed are never broken again. Usually problem was failing of yosys to generate any kind of output, in most of cases bellow, so just checking if yosys did not assert any error is enough at least for these. Issues bellow are taken from last two pages on issue tracker. Some of these can really be trivial, and issue contains all info you need. Some maybe need more thinking to be sure that you understood issue correctly. In any case you are free to continue going trough the list of issues and select new from it to cover. I will see to crate some online spreadsheet that will have issue number, type (if it is something that needed to be fixed or was a new feature or some user error, and will have a status if it is covered by test or not. That way we can have better overview what is going on. So if you see that something is without a way to reproduce, or it was user error just skip it, and when we have a spreadsheet we can update there. 1. https://github.com/YosysHQ/yosys/issues/86 2. https://github.com/YosysHQ/yosys/issues/85 3. https://github.com/YosysHQ/yosys/issues/84 4. https://github.com/YosysHQ/yosys/issues/83 5. https://github.com/YosysHQ/yosys/issues/82 6. https://github.com/YosysHQ/yosys/issues/81 7. https://github.com/YosysHQ/yosys/issues/78 8. https://github.com/YosysHQ/yosys/issues/71 9. https://github.com/YosysHQ/yosys/issues/67 10. https://github.com/YosysHQ/yosys/issues/65 11. https://github.com/YosysHQ/yosys/issues/61 12. https://github.com/YosysHQ/yosys/issues/59 13. https://github.com/YosysHQ/yosys/issues/41 14. https://github.com/YosysHQ/yosys/issues/18
SergeyDegtyar committed
-
- 20 Feb, 2019 1 commit
-
-
simple & misc =========== Note that some of commands you can not test with checking with testbench so those place in misc. 1. passes/cmds/add.cc Note that here you need to load some existing verilog and add additional wires, inputs or outputs 2. passes/cmds/blackbox.cc you could create design with sub module, execute blackbox and check if sub module is replaced with blackbox module. 3. passes/cmds/bugpoint.cc 4. passes/cmds/chformal.cc 5. passes/cmds/chtype.cc 6. passes/cmds/connect.cc Maybe can be covered together with add command 7.passes/cmds/connwrappers.cc 8. passes/cmds/design.cc missing covering -import option 9.passes/cmds/plugin.cc 10. passes/cmds/rename.cc rename parts of existing design 11. /passes/cmds/select.cc Lot of options is not used , so room to improve 12.passes/cmds/setattr.cc note there are 3 commands to cover here 13. passes/cmds/setundef.cc setting with one, anyseq, anyconst ... 14. passes/sat/assertpmux.cc 15. passes/sat/async2sync.cc 16. passes/sat/eval.cc 17. passes/sat/freduce.cc 18. passes/sat/miter.cc run with -assert option 19. passes/sat/sat.cc many options are not tested 20. passes/sat/sim.cc 21. passes/techmap/flowmap.cc
SergeyDegtyar committed
-
- 02 Jan, 2019 1 commit
-
-
5. clk2fflogic (104 - 144,180-195 are not covered) 9. memory_nordff(75-101 is not covered) 10. memory_unpack(91-108 is not covered) 12. hierarchy (the coverage from 44% increased to 61,3%)
SergeyDegtyar committed
-
- 05 Sep, 2018 1 commit
-
-
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf committed
-