diff options
Diffstat (limited to 'dis/runDIS4.sh')
| -rwxr-xr-x | dis/runDIS4.sh | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/dis/runDIS4.sh b/dis/runDIS4.sh deleted file mode 100755 index 58072a5..0000000 --- a/dis/runDIS4.sh +++ /dev/null | |||
| @@ -1,5 +0,0 @@ | |||
| 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 | ||
