Giters

ModelInference / texada

Efficient techniques for mining LTL formulae over linear input traces

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Script to update command line usage in README.md

bestchai opened this issue · comments

commented

Add a shell script to the repository that will:

  1. Run ./texada binary (if doesn't exist, then show error and exit) to retrieve current usage

  2. Remove the old command line usage from the README.md file (at end of file)

  3. Add the new usage to README.md

[Issue created by bestchai: 2014-08-27]