Removed unnecessary record
CLeaned up comparison in a test to membership
Merge pull request #31 from jaynel/proper

Forgot to add the new uffda_system_SUITE to last checkin
Merge branch 'master' of https://github.com/th0114nd/uffda
Why isn't this commit empty?
Merge pull request #33 from jaynel/proper

Initial refactor to use prop_* functions in uffda_registry_SUITE
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
Merge pull request #36 from jaynel/proper

Add tc_proper_model to script the validation of scenarios
Merge pull request #37 from jaynel/proper

Run dialyzer on the test suites (it fails, of course)
Merge pull request #38 from jaynel/proper

Proper
Merge pull request #39 from jaynel/proper

Pass live scenario ref to generate_proper_observation
Add a devapi_example behavior that does nothing