← Back to branch summary

~verifypn-wf/verifypn/png

« back to all changes in this revision

Viewing changes to run_integrity_tests.sh

  • Committer: Bogi Napoleon Wennerström
  • Date: 2020-11-02 13:35:33 UTC
  • Revision ID: bogi.wennerstrom@gmail.com-20201102133533-hbiaj5dl2wnxnloc
* Applied changes from Peter
* Corrected spelling
* Renamed variables
* Extracted methods
* Other misc. refactorings

Show diffs side-by-side

added added

removed removed

Lines of Context:
run_integrity_tests.sh
 
1
rm output.txt
 
2
 
 
3
./run_tests.sh cmake-build-debug/bin/verifypn-linux64 "-n" output.txt
 
4
 
 
5
sort output.txt > sorted.txt
 
6
 
 
7
cmp sorted.txt pg-output.txt
 
8
 
 
9
rm sorted.txt
 
 
b'\\ No newline at end of file'