Syntax Update -- Property/Where syntax in terms of necessary and sufficient

[sidprasad]

Tests now take a form that more transparently shows the implicit implications. Perhaps we could call these conditional hypotheses instead of property/where tests?

assert p { ...} is necessary for q for {...bounds... / scope}
where 
{ }

assert p { ...} is sufficient for q for {...bounds... / scope}
where 
{ }

[bennn]

I'm not ready to look at an implementation yet.

What do we want students to do with the testing form?

I'm still puzzled from our Wednesday discussion about how this is meant to be a general testing construct. Everything I've seen (including the external evaluation docs) talks about running examples / properties against a wheat. What to do if there's no wheat?

[sidprasad]

@bennn @tnelson : Could I ask you to take a look today? I'd like to get this in for TA camp

[bennn]

I'm still waiting to see where & how this is supposed to be used by students.

I can do a call 3-4:30pm or after 6pm.