diff options
author | emkael <emkael@tlen.pl> | 2017-11-23 00:18:15 +0100 |
---|---|---|
committer | emkael <emkael@tlen.pl> | 2017-11-23 00:18:15 +0100 |
commit | 79b196c03c213418c5d8275ed889caafbcd6d4ea (patch) | |
tree | 42b4cd6919666b70d29ca042e7a39dfe30c7d452 | |
parent | 2a043d57419bb4035ebafc8cd3fb20fe0e271135 (diff) |
Script that puts it all togetherHEADsynced/mastermaster
-rwxr-xr-x | _run.sh | 13 |
1 files changed, 13 insertions, 0 deletions
@@ -0,0 +1,13 @@ +echo 'Generating random numbers from original code:' +./test.sh results-original +echo 'Original code generating DONE' +echo 'Generating random numbers from patched code:' +./test.sh results-patched -patched +echo 'Patched code generating DONE' +find -name \*.dump | while read DUMPFILE +do + echo -n 'Analyzing bitwise differences (diffusion) for ' $DUMPFILE '...' + python analyze.py $DUMPFILE > $DUMPFILE.diffs + echo ' DONE' +done +echo 'Analysis finished.' |