fix sc-batch script --max_loops usage and starter script for generation

This commit is contained in:
Malte Tammena 2024-07-05 11:22:44 +02:00
parent 68a74cbf4d
commit a9fae50bb8
2 changed files with 8 additions and 6 deletions

View file

@ -1,6 +1,7 @@
#!/bin/bash
#SBATCH --ntasks=1
#SBATCH --time=10:00:00
#SBATCH --cpus-per-task=24
#SBATCH --time=24:00:00
./scripts/aba-generator-acyclic.py

View file

@ -41,9 +41,10 @@ MAX_LOOPS=18446744073709551615
# The docker image was build using
# > nix bundle .#validate --bundler github:NixOS/bundlers#toDockerImage
# on my local machine to create an agnostic package that could run on the cluster
mkdir -p "$(pwd)/$OUTPUT_DIR"
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 --max_loops "$MAX_LOOPS"
--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 --max-loops "$MAX_LOOPS"