megamanmalte/aba2sat
0
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

pre-final-run-commit

Browse source
This commit is contained in:
Malte Tammena 2024-06-03 12:25:07 +02:00
parent ad54f0755f
commit 9490b7e752
1 changed files with 10 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

21
scripts/sc-batch.sh
View file

@ -11,18 +11,17 @@ FILE_LIST=acyclic.list
# Pick line `$SLURM_ARRAY_TASK_ID` from the FILE_LIST
# This will probably cause issues if more processes are allocated
# than lines in the FILE_LIST, but who knows
file="$(pwd)/$(awk "NR == $SLURM_ARRAY_TASK_ID" "$FILE_LIST")"
file="$(awk "NR == $SLURM_ARRAY_TASK_ID" "$FILE_LIST")"
basefile="$(basename "$file")"
# Read the extra argument
arg=$(cat "$file.asm")
arg=$(cat "$(pwd)/$file.asm")
# Make sure we get all the data in one central place
OUTPUT_DIR="$(pwd)/output"
export OUTPUT_DIR
OUTPUT_DIR="output"
# This assumes that `validate` accepts the --no-rm flag,
# which is not a flag the script accepts, but recognized by
# the default bundler `nix bundle .#validate` uses. Required here
# to prevent the fastest process from cleaning the extracted
# package. Slower processes or those allocated later *will* fail
# without the flag
./validate --no-rm // --file "$file" --arg "$arg" --time --problem dc-co
singularity run \
--env OUTPUT_DIR=/out \
--bind "$(pwd)/acyclic:/in:ro" \
--bind "$(pwd)/$OUTPUT_DIR:/out" \
validate.sif \
validate --file "/in/$basefile" --arg "$arg" --time --problem dc-co