Total Number of Solutions: 1
Total Number of Solutions With Any Theory: 1
Total Number of TestMethods: 388
Total Number of Theory Methods: 28
Total Number of Theory Methods With Assume: 0
Total Number of Theory Methods With Assert: 28
Total Number of Theory Methods With Parameters: 27
Total Number of Theory Methods With Non-primitive Paramters: 26
Total Number of Assume Clauses: 0
Total Number of Assert Clauses: 614
Total Number of Public Methods: 4469
Total Number of Public Methods Invoked in Theory: 117
Total Number of Primitive Parameters: 1031
Total Number of Non-primitive Parameters: 4007
Total Number of Non-primitive Parameter Types: 317
Total Number of LOC: 47278
commit d835a6b9c9dde3336f68247b32dde27ed30785d1
Total Number of Solutions: 1
Total Number of Solutions With Any Theory: 1
Total Number of TestMethods: 227
Total Number of Theory Methods: 27
Total Number of Theory Methods With Assume: 0
Total Number of Theory Methods With Assert: 27
Total Number of Theory Methods With Parameters: 26
Total Number of Theory Methods With Non-primitive Paramters: 26
Total Number of Assume Clauses: 0
Total Number of Assert Clauses: 347
Total Number of Public Methods: 301
Total Number of Public Methods Invoked in Theory: 5
Total Number of Primitive Parameters: 16
Total Number of Non-primitive Parameters: 176
Total Number of Non-primitive Parameter Types: 32
Total Number of LOC: 47278
Total Number of LOC of PUT: 172
Total Number of LOC of CUT: 4775