}}
{{CPTask
| task=[[IPDL/Unit test generation|Systematic dynamic verification checking of C++ code implementing IPDL protocols]]
| name=robin_bb
| mentor=cjones
| bug={{bug|506303}}
| ETA=
| notes=It should be possible to generate pretty exhaustive unit tests from IPDL specs...