Hi Xia,

You're correct. The expression should actually contain the clause m>a, not m≥a. Then the assignment "m=a=0" will result in m>a evaluating to false, which is what is required. I'll correct that on the lab sheet shortly.

Thanks!

Arran

"Xia Cheng" [email protected] wrote:

In Lab 6 Part 2, for question c (G∨(m≥a)∨(H∧U)), to make the clause G active, we need both (m≥a) and (H∧U) to be false. However, if m=a=0, then (m≥a) will be true, and regardless of whether G is true or false, the overall result will be true, preventing the achievement of Restricted Active Clause Coverage.

Another minor update to a labsheet I thought I'll mention, lab 4 at the bottom it has an example function:

" public setMinutes(int minutes) { this.minutes = minutes; } "

I believe the method signature should be: "void setMinutes(int minutes)"

Hi,

Thanks for pointing that out! You are correct - the method needs a return type, which should be void in this case. I'll add that.

It might be worth pointing out that documentation testing, which was mentioned in lectures, is a good way of avoiding problems like these, and it is used for the code in some labs (including lab 4, although not for the code fragment you pointed out).

Several of the code samples in the lab worksheet get automatically extracted and checked to make sure they compile – the source I use for the lab sheet contains Python code like the following to run tests:

from subprocess import run
try:
  run(["javac", "CollapseClass.java"], check=True)
except Exception as ex:
  print("\n\n***JAVAC FAILED: ", ex, "***", sep="");

However, the test code does add extra complexity, and developers need to remember to add it for all code snippets. In this case, setMinutes is a small fragment that I added to the solutions this year, and it doesn't include surrounding test code.

Cheers,

Arran

Another minor update to a labsheet I thought I'll mention, lab 4 at the bottom it has an example function:

" public setMinutes(int minutes) { this.minutes = minutes; } "

I believe the method signature should be: "void setMinutes(int minutes)"