Code

Doc: rename filter property Fix #747#750

Code

Merged

danglotb merged 7 commits intoSTAMP-project:masterSTAMP-project/dspot:masterfrom danglotb:doc-rename-filter-propertydanglotb/dspot:doc-rename-filter-propertyCopy head branch name to clipboardApr 10, 2019

+78-79

Commits

Commits on Apr 8, 2019

• doc: rename the property filter used by PIT in pitFilterClassesToKeep

  danglotb

  committed
  50a69a8

  Copy full SHA for 50a69a8

• test: rename all the property filter using in test resources

  danglotb

  committed
  06a359a

  Copy full SHA for 06a359a

• doc: update README and dspot-for-dummies with new name

  danglotb

  committed
  5b2d652

  Copy full SHA for 5b2d652

Commits on Apr 10, 2019

• feat: add an old name field for backward compatibility

  danglotb

  committed
  60c6c3f

  Copy full SHA for 60c6c3f

• refactor: remove deprecated property

  danglotb

  committed
  6c9d146

  Copy full SHA for 6c9d146

• doc: update list of properties

  danglotb

  committed
  cddd0cc

  Copy full SHA for cddd0cc

• style: remove unused imports

  danglotb

  committed
  9f6a71b

  Copy full SHA for 9f6a71b