Add properties to test

03b9b1c5 · Maxime Perrotin · c20dbdb3 · 03b9b1c5
Commit 03b9b1c5 authored Mar 16, 2015 by Maxime Perrotin
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

test/properties test/properties +1 -0

No files found.
--- a/test/properties
+++ b/test/properties
 stop if a = two;
 stop if state = timeout;
+stop if state = Wait; -- Check with different case, and some comments