StackOverflow Questions for Tag: post-conditions

Alexis Guillot

Reputation: 21

How can i assign a new value to a function parameter in an ada postcondition

adacontractpost-conditions

Score: 2

Answers: 0

Francesco

Reputation: 531

Java: weak pre condition and strong post condition, how to?

javapreconditionspost-conditions

Score: 4

Answers: 5

pasquale annarumma

Reputation: 11

Precondition and postcondition in Java

javapreconditionspost-conditions

Score: -3

Answers: 1

Niresh

Reputation: 77

How to give the right precondition to prove an assert statemnt in frama-c?

proofframa-cpreconditionspost-conditions

Score: 2

Answers: 1

Doris Ng

Reputation: 13

How can I fix this code with unstoppable loop?

pythonpython-3.xdebuggingpost-conditions

Score: 1

Answers: 2

Arets Paeglis

Reputation: 4006

Custom condition failure messages in Ada 2012

adapredicatedesign-by-contractpreconditionspost-conditions

Score: 2

Answers: 1

catrev

Reputation: 85

ADA - pre and post conditions not working?

functionprocedureadapreconditionspost-conditions

Score: 2

Answers: 1

Ferenc Dajka

Reputation: 1051

Eiffel exception not work

exceptionrescueeiffelpost-conditions

Score: 0

Answers: 2

Dafneloper

Reputation: 19

Dafny - Assertion violation after calling class method from Main

classassertdafnypost-conditions

Score: -1

Answers: 1

Ed Shirinian

Reputation: 25

How do I get a true value when using object_comparison on an empty linked list in my post condition?

eiffelpost-conditions

Score: 0

Answers: 1

OrenIshShalom

Reputation: 7112

dafny assertion fails is hard to explain

permutationassertdafnyloop-invariantpost-conditions

Score: 1

Answers: 1

Ed Shirinian

Reputation: 25

How do I use an across loop in post condition to compare an old array and new array at certain indices?

eiffelpost-conditions

Score: 0

Answers: 1

RealNamesOrHandles

Reputation: 17

Tool/Technique for Automatic Unit Test Generation based on Method Pre-/Post-Conditions

unit-testingautomated-testsdesign-by-contractpreconditionspost-conditions

Score: 0

Answers: 2

ToTheMax

Reputation: 1031

Hoare Logic | What post-condition is valid when there is an infinite loop?

infinite-looppost-conditionshoare-logic

Score: 1

Answers: 1

Brugsen

Reputation: 613

What is a post-condition exception?

c#exceptionconditional-statementspost-conditions

Score: 3

Answers: 2

M. Fire

Reputation: 127

Unknown identifiers for ensure block in Eiffel

eiffelpost-conditions

Score: 0

Answers: 2

Mo.Hussein

Reputation: 43

Enterprise Architect Operation Pre/Post-Conditions

cumlenterprise-architectoperationspost-conditions

Score: 0

Answers: 1

mcbalsa

Reputation: 51

Pre and Post Condition from Stroustrup's book

c++preconditionspost-conditions

Score: 4

Answers: 3

user3712482

Reputation: 113

Why is the existential necessary in strongest postconditions?

verificationformal-verificationpost-conditions

Score: 2

Answers: 1

Ogen

Reputation: 6709

Precondition and postcondition checks in public methods

javaassertpreconditionspost-conditions

Score: 3

Answers: 2

PreviousPage 2Next

StackOverflow Questions for Tag: post-conditions

How can i assign a new value to a function parameter in an ada postcondition

Java: weak pre condition and strong post condition, how to?

Precondition and postcondition in Java

How to give the right precondition to prove an assert statemnt in frama-c?

How can I fix this code with unstoppable loop?

Custom condition failure messages in Ada 2012

ADA - pre and post conditions not working?

Eiffel exception not work

Dafny - Assertion violation after calling class method from Main

How do I get a true value when using object_comparison on an empty linked list in my post condition?

dafny assertion fails is hard to explain

How do I use an across loop in post condition to compare an old array and new array at certain indices?

Tool/Technique for Automatic Unit Test Generation based on Method Pre-/Post-Conditions

Hoare Logic | What post-condition is valid when there is an infinite loop?

What is a post-condition exception?

Unknown identifiers for ensure block in Eiffel

Enterprise Architect Operation Pre/Post-Conditions

Pre and Post Condition from Stroustrup&#39;s book

Why is the existential necessary in strongest postconditions?

Precondition and postcondition checks in public methods

Pre and Post Condition from Stroustrup's book