KeYInterface disregards preconditions #1
Description
The KeYInterface currently initiates a ProgramMethodPO with a null precondition parameter. Creates invalid initial states for methods having valid preconditions in their contracts.
{{ message }}
The KeYInterface currently initiates a ProgramMethodPO with a null precondition parameter. Creates invalid initial states for methods having valid preconditions in their contracts.