Total Number of Solutions: 1
Total Number of Solutions With Any Theory: 1
Total Number of TestMethods: 92
Total Number of Theory Methods: 6
Total Number of Theory Methods With Assume: 0
Total Number of Theory Methods With Assert: 6
Total Number of Theory Methods With Parameters: 6
Total Number of Theory Methods With Non-primitive Paramters: 6
Total Number of Assume Clauses: 0
Total Number of Assert Clauses: 180
Total Number of Public Methods: 529
Total Number of Public Methods Invoked in Theory: 19
Total Number of Primitive Parameters: 160
Total Number of Non-primitive Parameters: 418
Total Number of Non-primitive Parameter Types: 81
Total Number of LOC: 5251
commit 180a190d4cb49458441596ca7c69d50ec7f1dba5
Total Number of Solutions: 1
Total Number of Solutions With Any Theory: 1
Total Number of TestMethods: 92
Total Number of Theory Methods: 6
Total Number of Theory Methods With Assume: 0
Total Number of Theory Methods With Assert: 6
Total Number of Theory Methods With Parameters: 6
Total Number of Theory Methods With Non-primitive Paramters: 6
Total Number of Assume Clauses: 0
Total Number of Assert Clauses: 180
Total Number of Public Methods: 529
Total Number of Public Methods Invoked in Theory: 19
Total Number of Public Methods Invoked in CUT: 383
Total Number of Primitive Parameters: 160
Total Number of Non-primitive Parameters: 418
Total Number of Non-primitive Parameter Types: 81
Total Number of LOC: 5251
Total Number of LOC of PUT: 40
Total Number of LOC of CUT: 708