Total Number of Solutions: 1
Total Number of Solutions With Any Theory: 1
Total Number of TestMethods: 532
Total Number of Theory Methods: 19
Total Number of Theory Methods With Assume: 0
Total Number of Theory Methods With Assert: 18
Total Number of Theory Methods With Parameters: 19
Total Number of Theory Methods With Non-primitive Paramters: 19
Total Number of Assume Clauses: 0
Total Number of Assert Clauses: 559
Total Number of Public Methods: 2460
Total Number of Public Methods Invoked in Theory: 62
Total Number of Primitive Parameters: 181
Total Number of Non-primitive Parameters: 2411
Total Number of Non-primitive Parameter Types: 445
Total Number of LOC: 24068
commit c3456bff016f4f1c635d51993282ce9707950458
Total Number of Solutions: 1
Total Number of Solutions With Any Theory: 1
Total Number of TestMethods: 532
Total Number of Theory Methods: 19
Total Number of Theory Methods With Assume: 0
Total Number of Theory Methods With Assert: 19
Total Number of Theory Methods With Parameters: 19
Total Number of Theory Methods With Non-primitive Paramters: 19
Total Number of Assume Clauses: 0
Total Number of Assert Clauses: 559
Total Number of Public Methods: 2460
Total Number of Public Methods Invoked in Theory: 62
Total Number of Public Methods Invoked in CUT: 1750
Total Number of Primitive Parameters: 181
Total Number of Non-primitive Parameters: 2411
Total Number of Non-primitive Parameter Types: 445
Total Number of LOC: 24068
Total Number of LOC of PUT: 111
Total Number of LOC of CUT: 3486