Total Number of Solutions: 1
Total Number of Solutions With Any Theory: 1
Total Number of TestMethods: 6736
Total Number of Theory Methods: 49
Total Number of Theory Methods With Assume: 0
Total Number of Theory Methods With Assert: 49
Total Number of Theory Methods With Parameters: 49
Total Number of Theory Methods With Non-primitive Paramters: 49
Total Number of Assume Clauses: 16
Total Number of Assert Clauses: 17446
Total Number of Public Methods: 10999
Total Number of Public Methods Invoked in Theory: 216
Total Number of Primitive Parameters: 616
Total Number of Non-primitive Parameters: 6552
Total Number of Non-primitive Parameter Types: 421
Total Number of LOC: 96806
commit 0e55608bbdb8a6e9aaed49472e2a6675148ec84b
Total Number of Solutions: 1
Total Number of Solutions With Any Theory: 1
Total Number of TestMethods: 7681
Total Number of Theory Methods: 57
Total Number of Theory Methods With Assume: 0
Total Number of Theory Methods With Assert: 57
Total Number of Theory Methods With Parameters: 57
Total Number of Theory Methods With Non-primitive Paramters: 57
Total Number of Assume Clauses: 18
Total Number of Assert Clauses: 20027
Total Number of Public Methods: 12615
Total Number of Public Methods Invoked in Theory: 243
Total Number of Public Methods Invoked in CUT: 32689
Total Number of Primitive Parameters: 739
Total Number of Non-primitive Parameters: 7507
Total Number of Non-primitive Parameter Types: 497
Total Number of LOC: 109498
Total Number of LOC of PUT: 315
Total Number of LOC of CUT: 42230