diff options
| author | Anthony DeDominic <anthony@dedominic.pw> | 2018-03-14 13:46:57 -0400 |
|---|---|---|
| committer | w0rp <w0rp@users.noreply.github.com> | 2018-03-14 17:46:57 +0000 |
| commit | 92e6e4d1ba482a4d2d89d850f660c67ccf8a28eb (patch) | |
| tree | 11ab1ede3531351a95b708ab443158a792f5633e /test/handler/test_dafny_handler.vader | |
| parent | 05d39bc1a9eb79ff6f36b190b4612ff052812e7e (diff) | |
| download | ale-92e6e4d1ba482a4d2d89d850f660c67ccf8a28eb.zip | |
Fix awk linter and security concerns. (#1411)
* Fixed (g)awk linter
* Made it secure, albeit less useful.
* Added gawk handler; the cpplint one was not working?
* Added gawk handler test.
* added warning to gawk handler.
* added gawk command callback test
* added comment about --source
* added back optional commandline option
Diffstat (limited to 'test/handler/test_dafny_handler.vader')
0 files changed, 0 insertions, 0 deletions