Output flag sensitive to trailing separator
Created by: joshuata
The script witness_validation_web_cloud.py requires a trailing slash for the output flag:
$ ./witness_validation_web_cloud.py --output output --program test-harnesses/example-1.i --witness test-harnesses/example-1-witness.graphml
...
2016-12-06 11:04:00,700 - INFO - Log file is written to outputoutput.log.
Additionally, if the directory does not exist the script fails:
$ ./witness_validation_web_cloud.py --output output/ --program test-harnesses/example-1.i --witness test-harnesses/example-1-witness.graphml
...
2016-12-06 10:57:27,289 - WARNING - Error while writing results of run test-harnesses/example-1-witness.graphml: [Errno 2] No such file or directory: 'output/output.log'