~lifeless/storm/bug-620615

Viewing all changes in revision 222.1.6.

Adjust property tests to work now that validation does not occur on 
variable instantiation.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: