← Back to branch summary

~verifypn-cpn/verifypn/graceful-exitting

« back to all changes in this revision

Viewing changes to Scripts/MCC21/competition-scripts/README.txt

  • Committer: Jiri Srba
  • Date: 2021-04-28 11:15:57 UTC
  • Revision ID: srba@cs.aau.dk-20210428111557-lr5xv4d7abl1anh3
updated competition 2021 scripts

Show diffs side-by-side

added added

removed removed

Lines of Context:
Scripts/MCC21/competition-scripts/README.txt
1
1
For creating the VM remember:
2
2
 
3
 
- create tmp directory in ~mcc/tmp and set the owner to mcc and
 
3
- create tmp directory in ~mcc/BenchKit/bin/tmp and set the owner to mcc and
4
4
  group to users
5
5
 
6
6
- upload binary in BenchKit/bin and set the owner, group and executability
7
7
 
8
 
- upload the scripts (and xml files) into BenchKit, set owner, group and executability
 
8
- upload the tapaah.sh script (and all xml files) into BenchKit/bin, set owner, group and executability
 
9
 
 
10
- upload the BenchKit_head.sh into ~mcc/BenchKit/ 
9
11
 
10
12
- install time, parallel (check for --will-cite) and bc
11
13