Confirmed users
699
edits
Electrolysis/Tasks: Difference between revisions
Jump to navigation
Jump to search
no edit summary
(prefs -> Tibor) |
No edit summary |
||
| Line 66: | Line 66: | ||
}} | }} | ||
{{CPTask | {{CPTask | ||
| task=Systematic dynamic | | task=[[IPDL/Unit test generation|Systematic dynamic checking of C++ code implementing IPDL protocols]] | ||
| name=robin_bb | | name=robin_bb | ||
| mentor=cjones | | mentor=cjones | ||
| bug= | | bug={{bug|506303}} | ||
| ETA= | | ETA= | ||
| notes=It should be possible to generate pretty exhaustive unit tests from IPDL specs... | | notes=It should be possible to generate pretty exhaustive unit tests from IPDL specs... | ||