Project

General

Profile

1.0

Features: multi-process test generation, model checking

94%

81 issues   (76 closed5 open)

Issues by
Bug

18/18

Feature

17/18

Task

41/45