RoboBinding Result
Total Number of Solutions: 1
Total Number of Solutions With Any Theory: 1
Total Number of TestMethods: 279
Total Number of Theory Methods: 18
Total Number of Theory Methods With Assume: 0
Total Number of Theory Methods With Assert: 17
Total Number of Theory Methods With Parameters: 18
Total Number of Theory Methods With Non-primitive Paramters: 18
Total Number of Assume Clauses: 0
Total Number of Assert Clauses: 381
Total Number of Public Methods: 1657
Total Number of Public Methods Invoked in Theory: 28
Total Number of Primitive Parameters: 264
Total Number of Non-primitive Parameters: 1510
Total Number of Non-primitive Parameter Types: 282
Total Number of LOC: 17062
commit acafbd9b72309646ecb04f42f620442f763c7021
Total Number of Solutions: 1
Total Number of Solutions With Any Theory: 1
Total Number of TestMethods: 126
Total Number of Theory Methods: 15
Total Number of Theory Methods With Assume: 0
Total Number of Theory Methods With Assert: 14
Total Number of Theory Methods With Parameters: 15
Total Number of Theory Methods With Non-primitive Paramters: 15
Total Number of Assume Clauses: 0
Total Number of Assert Clauses: 148
Total Number of Public Methods: 446
Total Number of Public Methods Invoked in Theory: 9
Total Number of Public Methods Invoked in CUT: 720
Total Number of Primitive Parameters: 48
Total Number of Non-primitive Parameters: 295
Total Number of Non-primitive Parameter Types: 90
Total Number of LOC: 25193
Total Number of LOC of PUT: 145
Total Number of LOC of CUT: 1970