Contract Violation: {0} \n*********************************************************************************\n Contract Failure: ''{0}'' \n*********************************************************************************\n Failure in file {1}:{2, number, integer} in function ''{3}'' \n Failure details: {0} Callsite comment: {0} An exception was thrown while evaluating the contract predicate in the following context General Pre and post Condition - Pre condition violated Pre and post Condition - Post condition violated Loop - Variant violated on entry Loop - Variant violated on exit, Possible infinite loop Loop - Invariant violated on entry Loop - Invariant violated on exit Method Precondition - violated on entry Method Postcondition - violated on exit Class invariant - violated on entry Class invariant - violated on exit Invariant - violated on entry Invariant - violated on exit No Throw violated Unknown contract. Please report this case to library owners