Why isn't this commit empty?
Initial refactor to use prop_* functions in uffda_registry_SUITE
Merge pull request #33 from jaynel/proper

Initial refactor to use prop_* functions in uffda_registry_SUITE
Allow make:all([load]) and proper:module(uffda_registry_SUITE) from erl shell
Merge pull request #34 from jaynel/proper

Allow make:all([load]) and proper:module(uffda_registry_SUITE) from erl shell
Merge branch 'master' of https://github.com/th0114nd/uffda
Add tc_proper_model to script the validation of scenarios
Report all known failures up to a caught crash when verifying proper model
Merge pull request #36 from jaynel/proper

Add tc_proper_model to script the validation of scenarios
Run dialyzer on the test suites (it fails, of course)
Fix unitialized value in test_case observed_status for tc_proper_model behaviour
Prefix all tc_proper_* types; add generate_proper_model/3
Fleshed out creating multiple models for a single behaviour
Merge pull request #37 from jaynel/proper

Run dialyzer on the test suites (it fails, of course)