Total Number of Solutions: 1
Total Number of Solutions With Any Theory: 1
Total Number of TestMethods: 396
Total Number of Theory Methods: 1
Total Number of Theory Methods With Assume: 0
Total Number of Theory Methods With Assert: 0
Total Number of Theory Methods With Parameters: 1
Total Number of Theory Methods With Non-primitive Paramters: 1
Total Number of Assume Clauses: 0
Total Number of Assert Clauses: 1412
Total Number of Public Methods: 5353
Total Number of Public Methods Invoked in Theory: 0
Total Number of Primitive Parameters: 1140
Total Number of Non-primitive Parameters: 6997
Total Number of Non-primitive Parameter Types: 555
Total Number of LOC: 76244
commit 9893ecc4e5a5c12b6c14ee0876db124f78a3cf71
Total Number of Solutions: 1
Total Number of Solutions With Any Theory: 1
Total Number of TestMethods: 96
Total Number of Theory Methods: 1
Total Number of Theory Methods With Assume: 0
Total Number of Theory Methods With Assert: 0
Total Number of Theory Methods With Parameters: 1
Total Number of Theory Methods With Non-primitive Paramters: 1
Total Number of Assume Clauses: 0
Total Number of Assert Clauses: 327
Total Number of Public Methods: 113
Total Number of Public Methods Invoked in Theory: 0
Total Number of Public Methods Invoked in CUT: 2121
Total Number of Primitive Parameters: 2
Total Number of Non-primitive Parameters: 40
Total Number of Non-primitive Parameter Types: 13
Total Number of LOC: 76244
Total Number of LOC of PUT: 4
Total Number of LOC of CUT: 975