Total Number of Solutions: 1
Total Number of Solutions With Any Theory: 1
Total Number of TestMethods: 655
Total Number of Theory Methods: 13
Total Number of Theory Methods With Assume: 1
Total Number of Theory Methods With Assert: 13
Total Number of Theory Methods With Parameters: 13
Total Number of Theory Methods With Non-primitive Paramters: 13
Total Number of Assume Clauses: 4
Total Number of Assert Clauses: 2580
Total Number of Public Methods: 3529
Total Number of Public Methods Invoked in Theory: 222
Total Number of Primitive Parameters: 795
Total Number of Non-primitive Parameters: 2419
Total Number of Non-primitive Parameter Types: 549
Total Number of LOC: 36376
commit 030e3c52becae3a6578ebfddf759640096fc171b
Total Number of Solutions: 1
Total Number of Solutions With Any Theory: 1
Total Number of TestMethods: 189
Total Number of Theory Methods: 1
Total Number of Theory Methods With Assume: 0
Total Number of Theory Methods With Assert: 1
Total Number of Theory Methods With Parameters: 1
Total Number of Theory Methods With Non-primitive Paramters: 1
Total Number of Assume Clauses: 1
Total Number of Assert Clauses: 707
Total Number of Public Methods: 225
Total Number of Public Methods Invoked in Theory: 0
Total Number of Public Methods Invoked in CUT: 4852
Total Number of Primitive Parameters: 14
Total Number of Non-primitive Parameters: 3
Total Number of Non-primitive Parameter Types: 3
Total Number of LOC: 36376
Total Number of LOC of PUT: 14
Total Number of LOC of CUT: 1707