Skip to content

Commit

Permalink
Update Readme and add Tom as a maintainer
Browse files Browse the repository at this point in the history
  • Loading branch information
kellymclaughlin committed Oct 25, 2018
1 parent 0a02e65 commit 7486b34
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 6 deletions.
11 changes: 6 additions & 5 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -24,11 +24,12 @@ The plugin scans all source modules for EQC properties. Additionally
it looks for standalone EQC properties in a top-level `eqc` directory.

The default plugin behavior is to execute all properties found in the
application source code or the `eqc` directory. This behavior can be
overridden by using the `--properties` option to specify a
comma-separated list of properties to be executed. List entries may be
of the form `ModuleName:PropertyName` or simply `PropertyName` if the
property name is unique within the project.
application source code or the `eqc` directory. This behavior can be overridden
by using the `--properties` option to specify a comma-separated list of
properties to be executed. List entries may be of the form
`ModuleName:PropertyName` or simply `PropertyName` if the property name is
unique within the project. Additionally, as of version 1.1.0 there is a `--dir`
option to override the default test directory location of `eqc`.

The plugin also has a counterexample mode. When a property fails when
run using the plugin a counterexample file is written to an `.eqc`
Expand Down
2 changes: 1 addition & 1 deletion src/rebar3_eqc.app.src
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
{applications, [kernel, stdlib, cf]},
{env, []},

{contributors, ["Kelly McLaughlin "]},
{maintainers, ["Kelly McLaughlin", "Tom Santero"]},
{licenses, ["Apache"]},
{links, [{"Github", "https://github.com/kellymclaughlin/rebar3-eqc-plugin"}]}
]}.

0 comments on commit 7486b34

Please sign in to comment.