postconditions check
verificação de pós-condições
verifying postconditions
verificando pós-condições
postconditions satisfied
pós-condições satisfeitas
define postconditions
definir pós-condições
ensure postconditions
garantir pós-condições
postconditions met
pós-condições atendidas
checking postconditions
verificando as pós-condições
postconditions failure
falha nas pós-condições
initial postconditions
pós-condições iniciais
the postconditions of the function must always be true after execution.
As pós-condições da função devem sempre ser verdadeiras após a execução.
verifying postconditions is crucial for ensuring program correctness.
Verificar pós-condições é crucial para garantir a correção do programa.
we need to define clear postconditions for each api call.
Nós precisamos definir pós-condições claras para cada chamada de API.
the system's postconditions were violated due to a race condition.
As pós-condições do sistema foram violadas devido a uma condição de corrida.
formal methods help in specifying and checking postconditions.
Métodos formais ajudam na especificação e verificação de pós-condições.
the postconditions describe the state after the operation completes.
As pós-condições descrevem o estado após a operação ser concluída.
we use assertions to enforce postconditions during testing.
Nós usamos afirmações para impor pós-condições durante os testes.
the contract specifies preconditions and postconditions.
O contrato especifica pré-condições e pós-condições.
understanding postconditions is key to debugging complex systems.
Entender pós-condições é fundamental para depurar sistemas complexos.
the postconditions should be consistent with the preconditions.
As pós-condições devem ser consistentes com as pré-condições.
we aim to design functions with well-defined postconditions.
Nós temos como objetivo projetar funções com pós-condições bem definidas.
postconditions check
verificação de pós-condições
verifying postconditions
verificando pós-condições
postconditions satisfied
pós-condições satisfeitas
define postconditions
definir pós-condições
ensure postconditions
garantir pós-condições
postconditions met
pós-condições atendidas
checking postconditions
verificando as pós-condições
postconditions failure
falha nas pós-condições
initial postconditions
pós-condições iniciais
the postconditions of the function must always be true after execution.
As pós-condições da função devem sempre ser verdadeiras após a execução.
verifying postconditions is crucial for ensuring program correctness.
Verificar pós-condições é crucial para garantir a correção do programa.
we need to define clear postconditions for each api call.
Nós precisamos definir pós-condições claras para cada chamada de API.
the system's postconditions were violated due to a race condition.
As pós-condições do sistema foram violadas devido a uma condição de corrida.
formal methods help in specifying and checking postconditions.
Métodos formais ajudam na especificação e verificação de pós-condições.
the postconditions describe the state after the operation completes.
As pós-condições descrevem o estado após a operação ser concluída.
we use assertions to enforce postconditions during testing.
Nós usamos afirmações para impor pós-condições durante os testes.
the contract specifies preconditions and postconditions.
O contrato especifica pré-condições e pós-condições.
understanding postconditions is key to debugging complex systems.
Entender pós-condições é fundamental para depurar sistemas complexos.
the postconditions should be consistent with the preconditions.
As pós-condições devem ser consistentes com as pré-condições.
we aim to design functions with well-defined postconditions.
Nós temos como objetivo projetar funções com pós-condições bem definidas.
Explore frequently searched vocabulary
Want to learn vocabulary more efficiently? Download the DictoGo app and enjoy more vocabulary memorization and review features!
Download DictoGo Now