Total Number of Solutions: 1
Total Number of Solutions With Any Theory: 1
Total Number of TestMethods: 225
Total Number of Theory Methods: 157
Total Number of Theory Methods With Assume: 130
Total Number of Theory Methods With Assert: 155
Total Number of Theory Methods With Parameters: 157
Total Number of Theory Methods With Non-primitive Paramters: 127
Total Number of Assume Clauses: 18
Total Number of Assert Clauses: 267
Total Number of Public Methods: 621
Total Number of Public Methods Invoked in Theory: 52
Total Number of Primitive Parameters: 57
Total Number of Non-primitive Parameters: 317
Total Number of Non-primitive Parameter Types: 173
Total Number of LOC: 4871
commit 24ee07cdb2e47d1cced6149d484499372d5c272f
Total Number of Solutions: 1
Total Number of Solutions With Any Theory: 1
Total Number of TestMethods: 225
Total Number of Theory Methods: 157
Total Number of Theory Methods With Assume: 139
Total Number of Theory Methods With Assert: 146
Total Number of Theory Methods With Parameters: 157
Total Number of Theory Methods With Non-primitive Paramters: 127
Total Number of Assume Clauses: 18
Total Number of Assert Clauses: 267
Total Number of Public Methods: 621
Total Number of Public Methods Invoked in Theory: 52
Total Number of Public Methods Invoked in CUT: 165
Total Number of Primitive Parameters: 57
Total Number of Non-primitive Parameters: 317
Total Number of Non-primitive Parameter Types: 173
Total Number of LOC: 4871
Total Number of LOC of PUT: 482
Total Number of LOC of CUT: 825