diff options
| author | Adam M. Stück <adam@adast.xyz> | 2022-12-16 21:37:56 +0100 |
|---|---|---|
| committer | Adam M. Stück <adam@adast.xyz> | 2022-12-17 17:03:19 +0100 |
| commit | 98bc70eebf9c425866f26a916d5b49a63a1d2c8b (patch) | |
| tree | 55da2e51c17b2a6b2f8294e3769dc12b13e0f95a /.gitignore | |
| parent | 490431782825d9d032d301fa2ea9665fa2f87b7e (diff) | |
Simplified 'start' script usage
Removed switch to use sbatch. Using sbatch is now the default.
The line to run VerifyPN locally is just left as a comment beneath the
sbatch call.
Added a BINARY argument, so I don't have to hardcode each experiments
binary.
Updated and improved the help message to reflect the changes.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions