Project

General

Profile

1.0

Features: multi-process test generation, model checking

95%

79 issues   (73 closed6 open)

Issues by
Bug

18/18

Feature

15/18

Task

40/43