Skip to content

Commit

Permalink
Merged in GT-2368 (pull request #687)
Browse files Browse the repository at this point in the history
GT-2368
  • Loading branch information
TatyanaBerlenko committed Apr 12, 2016
2 parents b1b2d2e + bf29d64 commit 15b20d5
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions scripts/check_task/README
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
It's pytift - PYthon Tool of Issue Formal Testing - allows to automate task formal check. To use:

./scripts/check_task/main.py --branch <branch_name>

0 comments on commit 15b20d5

Please sign in to comment.