41 lines
1014 B
YAML
41 lines
1014 B
YAML
stages:
|
|
- test
|
|
|
|
.pintos_tests:
|
|
stage: test
|
|
image: gitlab.doc.ic.ac.uk:4567/lab2425_autumn/pintos_22/pintos-testing:latest
|
|
artifacts:
|
|
when: always
|
|
paths:
|
|
- src/$DIR/build/tests/$DIR/
|
|
before_script:
|
|
- cd src/utils
|
|
- make
|
|
- export PATH=$PWD:$PATH
|
|
- cd ../..
|
|
script:
|
|
- cd src/$DIR
|
|
- make check | tee build.log
|
|
- grep -vE "^FAIL $IGNORE\$" build.log | grep -q "FAIL tests/$DIR" && exit 1 || exit 0
|
|
|
|
test_devices:
|
|
extends: .pintos_tests
|
|
variables:
|
|
DIR: devices
|
|
|
|
test_threads:
|
|
extends: .pintos_tests
|
|
variables:
|
|
DIR: threads
|
|
|
|
test_userprog:
|
|
extends: .pintos_tests
|
|
variables:
|
|
DIR: userprog
|
|
|
|
test_vm:
|
|
extends: .pintos_tests
|
|
variables:
|
|
DIR: vm
|
|
IGNORE: (tests/vm/pt-grow-stack|tests/vm/pt-grow-pusha|tests/vm/pt-big-stk-obj|tests/vm/pt-overflowstk|tests/vm/pt-write-code2|tests/vm/pt-grow-stk-sc|tests/vm/page-linear|tests/vm/page-parallel|tests/vm/page-merge-seq|tests/vm/page-merge-par|tests/vm/page-merge-stk|tests/vm/page-merge-mm)
|