Total Number of Solutions: 1
Total Number of Solutions With Any Theory: 1
Total Number of TestMethods: 3
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: 0
Total Number of Assert Clauses: 22
Total Number of Public Methods: 34
Total Number of Public Methods Invoked in Theory: 1
Total Number of Primitive Parameters: 7
Total Number of Non-primitive Parameters: 86
Total Number of Non-primitive Parameter Types: 22
Total Number of LOC: 1414
commit 1676e1ad399ac3a6dc3180fd2fb7f9cec2a0030d
Total Number of Solutions: 1
Total Number of Solutions With Any Theory: 1
Total Number of TestMethods: 3
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: 0
Total Number of Assert Clauses: 22
Total Number of Public Methods: 34
Total Number of Public Methods Invoked in Theory: 1
Total Number of Public Methods Invoked in CUT: 3
Total Number of Primitive Parameters: 7
Total Number of Non-primitive Parameters: 86
Total Number of Non-primitive Parameter Types: 22
Total Number of LOC: 1414
Total Number of LOC of PUT: 4
Total Number of LOC of CUT: 13