correction of checking tools in testing environment
Merge pull request #700 from ifilippov/alloy

Correction of checking tools in testing environment