✅ The verified answer to this question is available below. Our community-reviewed solutions help you understand the material better.
Which of the following is the weakest precondition to the program:
Milline loetletutest on alljärgneva programmi nõrgim eeltingimus:
a := a + 1;
b := a + 2;
if postcondition is:
kui järeltingimus on:
{ b == 6 }