search

swtv-kaist / cs458-fall22

1 stars 0 forks source link

[HW7] Questions regarding the homework #41

Open A-Mehdi opened 1 year ago

A-Mehdi commented 1 year ago

I have a couple of questions for homework 7:

  1. Do we need to prove validity in all three cases? (1.3, 1.4, 2)
  2. In the second question, should we write specifications for the N=3 case?
  3. What files should be part of the submission?
moonzoo commented 1 year ago
  1. Do we need to prove validity in all three cases? (1.3, 1.4, 2)

Yes

  1. In the second question, should we write specifications for the N=3 case?

Yes.

  1. What files should be part of the submission?

SMT specification files should be submitted.