Common Contracts
1 similar Computational Contracts contracts
aSoftware Languages Lab, Vrije Universiteit Brussel, Pleinlaan 2, Elsene, BelgiumComputational Contracts • September 16th, 2013
to true in the blame assignment component. The postcondition returns this variable and blame is assigned when the variable was not set to true.
