Total Number of Solutions: 1
Total Number of Solutions With Any Theory: 1
Total Number of TestMethods: 1566
Total Number of Theory Methods: 75
Total Number of Theory Methods With Assume: 74
Total Number of Theory Methods With Assert: 74
Total Number of Theory Methods With Parameters: 73
Total Number of Theory Methods With Non-primitive Paramters: 50
Total Number of Assume Clauses: 57
Total Number of Assert Clauses: 1607
Total Number of Public Methods: 3057
Total Number of Public Methods Invoked in Theory: 74
Total Number of Primitive Parameters: 320
Total Number of Non-primitive Parameters: 1914
Total Number of Non-primitive Parameter Types: 227
Total Number of LOC: 24107
commit a29f45a3be64caa53feee6f6cc4d70cc43542362
Total Number of Solutions: 1
Total Number of Solutions With Any Theory: 1
Total Number of TestMethods: 1268
Total Number of Theory Methods: 46
Total Number of Theory Methods With Assume: 0
Total Number of Theory Methods With Assert: 0
Total Number of Theory Methods With Parameters: 46
Total Number of Theory Methods With Non-primitive Paramters: 32
Total Number of Assume Clauses: 30
Total Number of Assert Clauses: 1344
Total Number of Public Methods: 1973
Total Number of Public Methods Invoked in Theory: 0
Total Number of Public Methods Invoked in CUT: 3074
Total Number of Primitive Parameters: 87
Total Number of Non-primitive Parameters: 518
Total Number of Non-primitive Parameter Types: 101
Total Number of LOC: 25408
Total Number of LOC of PUT: 97
Total Number of LOC of CUT: 5372