One last spec to show that behaviours are exhaustive
livnev opened this issue · comments
Need the ability to generate one spec for every contract that is the negation of the if
preconditions for the listed behaviours. More precisely, its precondition should be:
not [if conditions]
where if conditions
are the conditions in the if
block as well as other implicit ones, such as the <callData>
cell etc.