search

hongruiqi / happs

Automatically exported from code.google.com/p/happs
0 stars 0 forks source link

Test suite. #28

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
Collect a list of invariants and write a test suite for HAppS-State.

Original issue reported on code.google.com by lem...@gmail.com on 31 Jan 2008 at 12:36

GoogleCodeExporter commented 8 years ago 
Basic test-suite for HAppS-State has been written. Not all properties are 
checked.

Original comment by lem...@gmail.com on 4 Feb 2008 at 4:15

GoogleCodeExporter commented 8 years ago

Original comment by lem...@gmail.com on 6 Feb 2008 at 3:03