JGit Result
Total Number of Solutions: 1
Total Number of Solutions With Any Theory: 1
Total Number of TestMethods: 4716
Total Number of Theory Methods: 32
Total Number of Theory Methods With Assume: 0
Total Number of Theory Methods With Assert: 31
Total Number of Theory Methods With Parameters: 30
Total Number of Theory Methods With Non-primitive Paramters: 24
Total Number of Assume Clauses: 14
Total Number of Assert Clauses: 11576
Total Number of Public Methods: 8222
Total Number of Public Methods Invoked in Theory: 1108
Total Number of Primitive Parameters: 2356
Total Number of Non-primitive Parameters: 7144
Total Number of Non-primitive Parameter Types: 901
Total Number of LOC: 126401
commit 13ffda0666cec94183529307eecbbda3bcf12fb1
Total Number of Solutions: 1
Total Number of Solutions With Any Theory: 1
Total Number of TestMethods: 4716
Total Number of Theory Methods: 32
Total Number of Theory Methods With Assume: 0
Total Number of Theory Methods With Assert: 32
Total Number of Theory Methods With Parameters: 30
Total Number of Theory Methods With Non-primitive Paramters: 24
Total Number of Assume Clauses: 14
Total Number of Assert Clauses: 11576
Total Number of Public Methods: 8222
Total Number of Public Methods Invoked in Theory: 1108
Total Number of Public Methods Invoked in CUT: 34544
Total Number of Primitive Parameters: 2356
Total Number of Non-primitive Parameters: 7144
Total Number of Non-primitive Parameter Types: 901
Total Number of LOC: 126401
Total Number of LOC of PUT: 690
Total Number of LOC of CUT: 35999