diff options
Diffstat (limited to 'dis/runDIS4.sh')
-rwxr-xr-x | dis/runDIS4.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/dis/runDIS4.sh b/dis/runDIS4.sh new file mode 100755 index 0000000..58072a5 --- /dev/null +++ b/dis/runDIS4.sh | |||
@@ -0,0 +1,5 @@ | |||
1 | #!/bin/bash | ||
2 | cat inputs/Neighborhood/in0 | ./neighborhood neighborhood 1 3 Oct19-neighborhoodtest 1 | ||
3 | cat inputs/Pointer/in0 | ./pointer pointer 10 3 Oct19-pointertest 1 | ||
4 | cat inputs/Transitive/in1 | ./transitive transitive 800 3 Oct19-transitivetest 1 | ||
5 | cat inputs/Update/in0 | ./update update 1000 3 Oct19-updatetest 1 | ||