seL4
seL4 copied to clipboard
Published
20 hours ago •
seL4
seL4
Inital support for RK3288
Using the Yeacreate NTablet as the platform, this patch series adds support for the Rockchip RK3288.
Signed-off-by: Peter Chubb [email protected]
Hello, I'm a bot! I'll bring this PR into Trustworthy Systems and run some tests
Hello, I'm a bot! I'll bring this PR into Trustworthy Systems and run some tests
Hello, I'm a bot! I'll bring this PR into Trustworthy Systems and run some tests
Test results for commit 082b07aa83e9d4f3ad9782c8b1ceee58f805abb8
Summary
NOTE: some test results have been updated!
| Test name | Result |
|---|---|
| Code Quality - C Parser - EXT-seL4-rk3288-280 | SUCCESSFUL |
| Code Quality - Reuse License Check - seL4 - EXT-seL4-rk3288-280 | SUCCESSFUL |
| Code Quality - Signed-off-by - seL4 - EXT-seL4-rk3288-280 | FAILED |
| Code Quality - Style - seL4 - EXT-seL4-rk3288-280 | SUCCESSFUL |
| Dev seL4 tests - seL4 PRs: Kernel Compile - EXT-seL4-rk3288-280 | FAILED |
| Dev seL4 tests - seL4 PRs: Preprocess - EXT-seL4-rk3288-280 | FAILED |
| Dev seL4 tests - seL4 PRs: compile seL4test - EXT-seL4-rk3288-280 | SUCCESSFUL |
Detailed failure logs
| Project | Stage | Result summary |
|---|---|---|
| Code Quality - Signed-off-by - seL4 - EXT-seL4-rk3288-280 | Check all commits have been Signed-Off-by | 1 of 1 job failed |
Job: signedoff Build logs
24-Nov-2020 12:14:42 Build Code Quality - Signed-off-by - seL4 - EXT-seL4-rk3288-280 - signedoff #2 (CQ-SEL4SIGNEDOFF152-SEL4SIGNEDOFFSIGNEDOFF-2) started building on agent A local agent 1
24-Nov-2020 12:14:42 I run on the Bamboo server!
24-Nov-2020 12:14:42 Build working directory is /var/atlassian/application-data/bamboo/xml-data/build-dir/140083221/CQ-SEL4SIGNEDOFF152-SEL4SIGNEDOFFSIGNEDOFF
24-Nov-2020 12:14:42 Executing build Code Quality - Signed-off-by - seL4 - EXT-seL4-rk3288-280 - signedoff #2 (CQ-SEL4SIGNEDOFF152-SEL4SIGNEDOFFSIGNEDOFF-2)
24-Nov-2020 12:14:42 Preparing artifact 'code' for use at /var/atlassian/application-data/bamboo/xml-data/build-dir/140083221/CQ-SEL4SIGNEDOFF152-SEL4SIGNEDOFFSIGNEDOFF/. (location: .)
24-Nov-2020 12:14:42 Artifact 'code' prepared in 26.74 ms at /var/atlassian/application-data/bamboo/xml-data/build-dir/140083221/CQ-SEL4SIGNEDOFF152-SEL4SIGNEDOFFSIGNEDOFF/./code.tar.gz
24-Nov-2020 12:14:42 Running pre-build action: VCS Version Collector
24-Nov-2020 12:14:42 Starting task 'Untar code' of type 'com.atlassian.bamboo.plugins.scripttask:task.builder.script'
24-Nov-2020 12:14:42 + tar xf code.tar.gz --recursive-unlink
24-Nov-2020 12:14:42 Finished task 'Untar code' with result: Success
24-Nov-2020 12:14:42 Starting task 'Set permissions so Bamboo can cleanup' of type 'com.atlassian.bamboo.plugins.scripttask:task.builder.script'
24-Nov-2020 12:14:42 + chmod -R o+rwx /var/atlassian/application-data/bamboo/xml-data/build-dir/140083221/CQ-SEL4SIGNEDOFF152-SEL4SIGNEDOFFSIGNEDOFF
24-Nov-2020 12:14:42 Finished task 'Set permissions so Bamboo can cleanup' with result: Success
24-Nov-2020 12:14:42 Starting task 'Check commits have been signed-off' of type 'com.atlassian.bamboo.plugins.scripttask:task.builder.script'
24-Nov-2020 12:14:42 + cd seL4
24-Nov-2020 12:14:42 +++ git merge-base 082b07aa83e9d4f3ad9782c8b1ceee58f805abb8 d4f59d37b142421f574a213e89592e319b73b0df
24-Nov-2020 12:14:42 ++ git rev-list --invert-grep --grep=Signed-off-by: 2c6576c80a8198a29dbf4f820c17937a69cad62b..082b07aa83e9d4f3ad9782c8b1ceee58f805abb8
24-Nov-2020 12:14:43 + commits_not_signed_off=082b07aa83e9d4f3ad9782c8b1ceee58f805abb8
24-Nov-2020 12:14:43 + '[' '!' -z 082b07aa83e9d4f3ad9782c8b1ceee58f805abb8 ']'
24-Nov-2020 12:14:43 + echo 'The follow commits need to be signed off:'
24-Nov-2020 12:14:43 + echo 082b07aa83e9d4f3ad9782c8b1ceee58f805abb8
24-Nov-2020 12:14:43 + exit 1
24-Nov-2020 12:14:43 The follow commits need to be signed off:
24-Nov-2020 12:14:43 082b07aa83e9d4f3ad9782c8b1ceee58f805abb8
24-Nov-2020 12:14:43 Failing task since return code of [/var/atlassian/application-data/bamboo/temp/CQ-SEL4SIGNEDOFF152-SEL4SIGNEDOFFSIGNEDOFF-2-ScriptBuildTask-2282589317333194666.sh] was 1 while expected 0
24-Nov-2020 12:14:43 Finished task 'Check commits have been signed-off' with result: Failed
24-Nov-2020 12:14:43 Starting task 'Set permissions so Bamboo can cleanup' of type 'com.atlassian.bamboo.plugins.scripttask:task.builder.script'
24-Nov-2020 12:14:43 + chmod -R o+rwx /var/atlassian/application-data/bamboo/xml-data/build-dir/140083221/CQ-SEL4SIGNEDOFF152-SEL4SIGNEDOFFSIGNEDOFF
24-Nov-2020 12:14:43 Finished task 'Set permissions so Bamboo can cleanup' with result: Success
24-Nov-2020 12:14:43 Starting task 'Run dco code insights' of type 'com.atlassian.bamboo.plugins.scripttask:task.builder.script'
24-Nov-2020 12:14:43 + cd seL4
24-Nov-2020 12:14:43 ++ echo ssh://[email protected]:7999/sel4/sel4.git
24-Nov-2020 12:14:43 ++ cut -d/ -f4
24-Nov-2020 12:14:43 + bb_proj=sel4
24-Nov-2020 12:14:43 + /scripts/bb_code_insights/create_code_insights.sh git-commits-signed-off sel4 seL4
24-Nov-2020 12:14:43 ++ dirname /scripts/bb_code_insights/create_code_insights.sh
24-Nov-2020 12:14:43 + SCRIPT_DIR=/scripts/bb_code_insights
24-Nov-2020 12:14:43 + BBS_URL=https://bitbucket.ts.data61.csiro.au
24-Nov-2020 12:14:43 + BBS_PROJECT=sel4
24-Nov-2020 12:14:43 + BBS_REPO=seL4
24-Nov-2020 12:14:43 + REPORT_TO_RUN=git-commits-signed-off
24-Nov-2020 12:14:43 ++ git rev-parse HEAD
24-Nov-2020 12:14:43 + COMMIT_ID=082b07aa83e9d4f3ad9782c8b1ceee58f805abb8
24-Nov-2020 12:14:43 + REPORT_KEY=git-commits-signed-off.report
24-Nov-2020 12:14:43 + set +x
24-Nov-2020 12:14:43 + report_file=git-commits-signed-off_report.json
24-Nov-2020 12:14:43 + annotations_file=git-commits-signed-off_annotations.json
24-Nov-2020 12:14:43 + rm -f git-commits-signed-off_report.json git-commits-signed-off_annotations.json
24-Nov-2020 12:14:43 + /scripts/bb_code_insights/git-commits-signed-off
24-Nov-2020 12:14:44 Running: git merge-base 082b07aa83e9d4f3ad9782c8b1ceee58f805abb8 d4f59d37b142421f574a213e89592e319b73b0df
24-Nov-2020 12:14:44 2c6576c80a8198a29dbf4f820c17937a69cad62b
24-Nov-2020 12:14:44 Running: git rev-list --invert-grep --grep=Signed-off-by: 2c6576c80a8198a29dbf4f820c17937a69cad62b..082b07aa83e9d4f3ad9782c8b1ceee58f805abb8
24-Nov-2020 12:14:44 082b07aa83e9d4f3ad9782c8b1ceee58f805abb8
24-Nov-2020 12:14:44 Identified bad commits:
24-Nov-2020 12:14:44 []
24-Nov-2020 12:14:44 + echo 'Reporting the results to BitBucket, but doing so *secretly*, so people don'\''t see the access token'
24-Nov-2020 12:14:44 Reporting the results to BitBucket, but doing so *secretly*, so people don't see the access token
24-Nov-2020 12:14:44 + set +x
24-Nov-2020 12:14:44 + '[' -f git-commits-signed-off_report.json ']'
24-Nov-2020 12:14:44 + cat git-commits-signed-off_report.json
24-Nov-2020 12:14:44 + '[' -f git-commits-signed-off_annotations.json ']'
24-Nov-2020 12:14:44 {"data":[{"title":"Total number of commits not signed-off","value":0,"type":"NUMBER"}],"createdDate":1606180484693,"details":"All good B-)","key":"git-commits-signed-off.report","result":"PASS","title":"Signed-off commits"}{"title": "Signed-off commits", "data": [{"title": "Total number of commits not signed-off", "value": 0, "type": "NUMBER"}], "details": "All good B-)", "result": "PASS"}
24-Nov-2020 12:14:44 Finished task 'Run dco code insights' with result: Success
24-Nov-2020 12:14:44 Running post build plugin 'NCover Results Collector'
24-Nov-2020 12:14:44 Running post build plugin 'Artifact Copier'
24-Nov-2020 12:14:44 Running post build plugin 'npm Cache Cleanup'
24-Nov-2020 12:14:44 Running post build plugin 'Clover Results Collector'
24-Nov-2020 12:14:44 Running post build plugin 'Docker Container Cleanup'
24-Nov-2020 12:14:44 Successfully removed working directory at '/var/atlassian/application-data/bamboo/xml-data/build-dir/140083221/CQ-SEL4SIGNEDOFF152-SEL4SIGNEDOFFSIGNEDOFF'
24-Nov-2020 12:14:44 Finalising the build...
24-Nov-2020 12:14:44 Stopping timer.
24-Nov-2020 12:14:44 Build CQ-SEL4SIGNEDOFF152-SEL4SIGNEDOFFSIGNEDOFF-2 completed.
24-Nov-2020 12:14:44 Running on server: post build plugin 'NCover Results Collector'
24-Nov-2020 12:14:44 Running on server: post build plugin 'Build Hanging Detection Configuration'
24-Nov-2020 12:14:44 Running on server: post build plugin 'Clover Delta Calculator'
24-Nov-2020 12:14:44 Running on server: post build plugin 'Maven Dependencies Postprocessor'
24-Nov-2020 12:14:44 All post build plugins have finished
24-Nov-2020 12:14:44 Generating build results summary...
24-Nov-2020 12:14:44 Saving build results to disk...
24-Nov-2020 12:14:44 Store variable context...
24-Nov-2020 12:14:44 Indexing build results...
24-Nov-2020 12:14:44 Finished building CQ-SEL4SIGNEDOFF152-SEL4SIGNEDOFFSIGNEDOFF-2.
| Project | Stage | Result summary |
|---|---|---|
| Dev seL4 tests - seL4 PRs: Preprocess - EXT-seL4-rk3288-280 | Preprocess | 1 of 5 jobs failed |
Job: RISCV64 Build logs
24-Nov-2020 12:44:19 Build Dev seL4 tests - seL4 PRs: Preprocess - EXT-seL4-rk3288-280 - RISCV64 #2 (SEL4-PFP1226-RISCV64PREPROCESS-2) started building on agent Elastic Agent on i-00e1d1efb235b5c63
24-Nov-2020 12:44:19 Elastic agent on instance i-00e1d1efb235b5c63
24-Nov-2020 12:44:19 Build working directory is /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS
24-Nov-2020 12:44:19 Unable to find image 'trustworthysystems/l4v-riscv:latest' locally
24-Nov-2020 12:44:22 latest: Pulling from trustworthysystems/l4v-riscv
24-Nov-2020 12:44:22 afb6ec6fdc1c: Already exists
24-Nov-2020 12:44:22 b7902de2b59d: Already exists
24-Nov-2020 12:44:22 592d808c385b: Already exists
24-Nov-2020 12:44:22 c192b478fc0b: Already exists
24-Nov-2020 12:44:22 eaa64cae2c99: Already exists
24-Nov-2020 12:44:22 73a8119e1439: Pulling fs layer
24-Nov-2020 12:44:22 baf880f9ac8f: Pulling fs layer
24-Nov-2020 12:44:22 c4373e38aa74: Pulling fs layer
24-Nov-2020 12:44:22 49dcb90350f1: Pulling fs layer
24-Nov-2020 12:44:22 8594b42ece5c: Pulling fs layer
24-Nov-2020 12:44:22 0de79f52dfef: Pulling fs layer
24-Nov-2020 12:44:23 49dcb90350f1: Verifying Checksum
24-Nov-2020 12:44:23 49dcb90350f1: Download complete
24-Nov-2020 12:44:23 c4373e38aa74: Verifying Checksum
24-Nov-2020 12:44:23 c4373e38aa74: Download complete
24-Nov-2020 12:44:23 73a8119e1439: Verifying Checksum
24-Nov-2020 12:44:23 73a8119e1439: Download complete
24-Nov-2020 12:44:23 73a8119e1439: Pull complete
24-Nov-2020 12:44:27 baf880f9ac8f: Verifying Checksum
24-Nov-2020 12:44:27 baf880f9ac8f: Download complete
24-Nov-2020 12:44:29 0de79f52dfef: Verifying Checksum
24-Nov-2020 12:44:29 0de79f52dfef: Download complete
24-Nov-2020 12:44:43 8594b42ece5c: Verifying Checksum
24-Nov-2020 12:44:43 8594b42ece5c: Download complete
24-Nov-2020 12:44:53 baf880f9ac8f: Pull complete
24-Nov-2020 12:44:53 c4373e38aa74: Pull complete
24-Nov-2020 12:44:53 49dcb90350f1: Pull complete
24-Nov-2020 12:45:55 8594b42ece5c: Pull complete
24-Nov-2020 12:46:27 0de79f52dfef: Pull complete
24-Nov-2020 12:46:27 Digest: sha256:4bc018193990498a86b1722b86ed95496599523ac86677cf9edf8ad561387155
24-Nov-2020 12:46:27 Status: Downloaded newer image for trustworthysystems/l4v-riscv:latest
24-Nov-2020 12:46:34 60670de660e5cbac5f9351fdb8475ce889e27ab36d10f98ee5f925c32f068abc
24-Nov-2020 12:46:36 Executing build Dev seL4 tests - seL4 PRs: Preprocess - EXT-seL4-rk3288-280 - RISCV64 #2 (SEL4-PFP1226-RISCV64PREPROCESS-2)
24-Nov-2020 12:46:36 Preparing artifact 'code' for use at /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/. (location: .)
24-Nov-2020 12:47:34 Artifact 'code' prepared in 58.40 s at /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/code.tar.gz
24-Nov-2020 12:47:34 Running pre-build action: VCS Version Collector
24-Nov-2020 12:47:34 Starting task 'Untar code' of type 'com.atlassian.bamboo.plugins.scripttask:task.builder.script'
24-Nov-2020 12:47:36 + tar xf code.tar.gz --recursive-unlink
24-Nov-2020 12:47:43 Finished task 'Untar code' with result: Success
24-Nov-2020 12:47:43 Starting task 'Set permissions so Bamboo can cleanup' of type 'com.atlassian.bamboo.plugins.scripttask:task.builder.script'
24-Nov-2020 12:47:44 + chmod -R o+rwx /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS
24-Nov-2020 12:47:44 Finished task 'Set permissions so Bamboo can cleanup' with result: Success
24-Nov-2020 12:47:44 Starting task 'Inject git variables into the env' of type 'com.atlassian.bamboo.plugins.bamboo-variable-inject-plugin:inject'
24-Nov-2020 12:47:44 Injected variable bamboo.injected.TIP=082b07aa83e9d4f3ad9782c8b1ceee58f805abb8 in LOCAL scope
24-Nov-2020 12:47:44 Injected variable bamboo.injected.HEAD=d4f59d37b142421f574a213e89592e319b73b0df in LOCAL scope
24-Nov-2020 12:47:44 Finished task 'Inject git variables into the env' with result: Success
24-Nov-2020 12:47:44 Starting task 'Do the munge' of type 'com.atlassian.bamboo.plugins.scripttask:task.builder.script'
24-Nov-2020 12:47:46 ARCH: RISCV64
24-Nov-2020 12:47:46 HEAD: d4f59d37b142421f574a213e89592e319b73b0df
24-Nov-2020 12:47:46 TIP: 082b07aa83e9d4f3ad9782c8b1ceee58f805abb8
24-Nov-2020 12:47:46 + export L4V_ARCH=RISCV64
24-Nov-2020 12:47:46 + export L4V_FEATURES=
24-Nov-2020 12:47:46 + HEAD=d4f59d37b142421f574a213e89592e319b73b0df
24-Nov-2020 12:47:46 + TIP=082b07aa83e9d4f3ad9782c8b1ceee58f805abb8
24-Nov-2020 12:47:46 + echo ARCH: RISCV64
24-Nov-2020 12:47:46 + echo HEAD: d4f59d37b142421f574a213e89592e319b73b0df
24-Nov-2020 12:47:46 + echo TIP: 082b07aa83e9d4f3ad9782c8b1ceee58f805abb8
24-Nov-2020 12:47:46 + verification/tools-internal/preprocess/test_munge.sh -v -a -d -c d4f59d37b142421f574a213e89592e319b73b0df 082b07aa83e9d4f3ad9782c8b1ceee58f805abb8
24-Nov-2020 12:47:46 [0;33mREF1=seL4@d4f59d37b142421f574a213e89592e319b73b0df
24-Nov-2020 12:47:46 REF2=seL4@082b07aa83e9d4f3ad9782c8b1ceee58f805abb8
24-Nov-2020 12:47:46 L4V_ARCH=RISCV64
24-Nov-2020 12:47:46 WORKING...[0m
24-Nov-2020 12:47:46 make: Entering directory '/home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/spec/cspec/c'
24-Nov-2020 12:47:46 rm -rf build/RISCV64
24-Nov-2020 12:47:46 mkdir -p build/RISCV64
24-Nov-2020 12:47:46 cd build/RISCV64 && \
24-Nov-2020 12:47:46 cmake -C /tmp/munge-seL4.Lo1Gmp3B/sel4-clone/configs/RISCV64_verified.cmake \
24-Nov-2020 12:47:46 loading initial cache file /tmp/munge-seL4.Lo1Gmp3B/sel4-clone/configs/RISCV64_verified.cmake
24-Nov-2020 12:47:46 -- The C compiler identification is GNU 10.2.0
24-Nov-2020 12:47:46 -- The ASM compiler identification is GNU
24-Nov-2020 12:47:46 -- Found assembler: /opt/riscv/bin/riscv64-unknown-linux-gnu-gcc
24-Nov-2020 12:47:46 -- Check for working C compiler: /opt/riscv/bin/riscv64-unknown-linux-gnu-gcc
24-Nov-2020 12:47:46 -- Check for working C compiler: /opt/riscv/bin/riscv64-unknown-linux-gnu-gcc -- works
24-Nov-2020 12:47:46 -- Detecting C compiler ABI info
24-Nov-2020 12:47:46 -- Detecting C compiler ABI info - done
24-Nov-2020 12:47:46 -- Detecting C compile features
24-Nov-2020 12:47:46 -- Detecting C compile features - done
24-Nov-2020 12:47:46 -- /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/spec/cspec/c/build/RISCV64/gen_headers/plat/machine/devices_gen.h is out of date. Regenerating...
24-Nov-2020 12:47:47 WARNING:root:Only mapping 4096/67108864 bytes from node /soc/interrupt-controller@c000000, region 0. Set kernel_size in YAML to silence.
24-Nov-2020 12:47:47 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@0/interrupt-controller"
24-Nov-2020 12:47:47 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@1/interrupt-controller"
24-Nov-2020 12:47:47 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@1/interrupt-controller"
24-Nov-2020 12:47:47 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@2/interrupt-controller"
24-Nov-2020 12:47:47 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@2/interrupt-controller"
24-Nov-2020 12:47:47 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@3/interrupt-controller"
24-Nov-2020 12:47:47 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@3/interrupt-controller"
24-Nov-2020 12:47:47 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@4/interrupt-controller"
24-Nov-2020 12:47:47 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@4/interrupt-controller"
24-Nov-2020 12:47:47 interrupts for device /soc/interrupt-controller@c000000
24-Nov-2020 12:47:47 -- Configuring done
24-Nov-2020 12:47:47 -- Generating done
24-Nov-2020 12:47:47 -- Build files have been written to: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/spec/cspec/c/build/RISCV64
24-Nov-2020 12:47:47 touch build/RISCV64/.cmake_done
24-Nov-2020 12:47:47 cd build/RISCV64 && ninja kernel_all_pp_wrapper
24-Nov-2020 12:47:47 [1/21] Generate dummy headers for prune compilation
24-Nov-2020 12:47:47 [2/21] Concatenating C files
24-Nov-2020 12:47:47 [3/21] Generate invocation header gen_headers/arch/api/sel4_invocation.h
24-Nov-2020 12:47:47 [4/21] Generate invocation header gen_headers/arch/api/invocation.h
24-Nov-2020 12:47:47 [5/21] Generate invocation header gen_headers/api/invocation.h
24-Nov-2020 12:47:47 [6/21] Generate syscall invocations
24-Nov-2020 12:47:47 [7/21] Creating C input file for preprocessor
24-Nov-2020 12:47:47 [8/21] Creating C input file for preprocessor
24-Nov-2020 12:47:47 [9/21] Building C object CMakeFiles/kernel_bf_gen_target_1_pbf_temp_lib.dir/kernel_bf_gen_target_1_pbf_temp.c.obj
24-Nov-2020 12:47:47 [10/21] Generating generated/arch/object/structures.bf.pbf
24-Nov-2020 12:47:47 [11/21] Building C object CMakeFiles/kernel_all_pp_prune_wrapper_temp_lib.dir/kernel_all_pp_prune_wrapper_temp.c.obj
24-Nov-2020 12:47:47 [12/21] Generating kernel_all_pp_prune.c
24-Nov-2020 12:47:47 [13/21] Generating from generated/arch/object/structures.bf.pbf
24-Nov-2020 12:47:47 [14/21] Creating C input file for preprocessor
24-Nov-2020 12:47:47 [15/21] Building C object CMakeFiles/kernel_bf_gen_target_11_pbf_temp_lib.dir/kernel_bf_gen_target_11_pbf_temp.c.obj
24-Nov-2020 12:47:47 [16/21] Generating generated/sel4/shared_types.bf.pbf
24-Nov-2020 12:47:47 [17/21] Generating from generated/sel4/shared_types.bf.pbf
24-Nov-2020 12:47:47 [18/21] Creating C input file for preprocessor
24-Nov-2020 12:47:48 [19/21] Building C object CMakeFiles/kernel_i_wrapper_temp_lib.dir/kernel_all_copy.c.obj
24-Nov-2020 12:47:48 [20/21] Generating kernel_all.i
24-Nov-2020 12:47:48 [21/21] Generating kernel_all_pp.c
24-Nov-2020 12:47:48 cp -a build/RISCV64/kernel_all_pp.c build/RISCV64/kernel_all.c_pp
24-Nov-2020 12:47:48 make: Leaving directory '/home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/spec/cspec/c'
24-Nov-2020 12:47:48 Building c-parser...
24-Nov-2020 12:47:48 make: Entering directory '/home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser'
24-Nov-2020 12:47:48 sed -e '/ML.pretty-printing/,/final.declarations/d' < /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/../../../isabelle/src/Pure/General/table.ML > /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/table.ML
24-Nov-2020 12:47:48 mlton /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/tools/mllex/mllex.mlb
24-Nov-2020 12:47:52 /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/tools/mllex/mllex /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/tools/mlyacc/src/yacc.lex
24-Nov-2020 12:47:52
24-Nov-2020 12:47:52 Number of states = 95
24-Nov-2020 12:47:52 Number of distinct rows = 47
24-Nov-2020 12:47:52 Approx. memory size of trans. table = 6063 bytes
24-Nov-2020 12:47:52 mlton /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/tools/mlyacc/mlyacc.mlb
24-Nov-2020 12:48:01 /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/tools/mlyacc/mlyacc /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.grm
24-Nov-2020 12:48:01 1 shift/reduce conflict
24-Nov-2020 12:48:01 /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/tools/mllex/mllex /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex
24-Nov-2020 12:48:02
24-Nov-2020 12:48:02 Number of states = 955
24-Nov-2020 12:48:02 Number of distinct rows = 687
24-Nov-2020 12:48:02 Approx. memory size of trans. table = 708984 bytes
24-Nov-2020 12:48:02 mkdir -p /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/ARM
24-Nov-2020 12:48:02 mlton -mlb-path-var 'L4V_ARCH ARM' -output /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/ARM/c-parser /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/c-parser.mlb
24-Nov-2020 12:48:07 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Expr.ML 234.5.
24-Nov-2020 12:48:07 Case has redundant rules.
24-Nov-2020 12:48:07 rules: _ => "[whoa! Unknown expr type]"
24-Nov-2020 12:48:07 in: case enode e of (BinOp _) => "Bin ... Unknown expr type]"
24-Nov-2020 12:48:07 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Expr.ML 452.7.
24-Nov-2020 12:48:07 Case has redundant rules.
24-Nov-2020 12:48:07 rules: _ => raise (Fail ("constify_abtyp ... tyname0 (K "") ty))
24-Nov-2020 12:48:07 in: case ty of (Array (ty0, SOME sz)) ... tyname0 (K "") ty)))
24-Nov-2020 12:48:07 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Serial.ML 56.5.
24-Nov-2020 12:48:07 Case has redundant rules.
24-Nov-2020 12:48:07 rules: _ => [Q "[whoa! Unknown expr type]"]
24-Nov-2020 12:48:07 in: case enode e of (BinOp (t, e, e2) ... Unknown expr type]"]
24-Nov-2020 12:48:07 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex.sml 14383.47.
24-Nov-2020 12:48:07 Declaration is not exhaustive.
24-Nov-2020 12:48:07 missing pattern: (:: (_, (:: (_, nil)))) | (:: (_, nil)) | nil
24-Nov-2020 12:48:07 in: _ :: nstr :: fstr :: _ = String.tokens Char.isSpace yytext
24-Nov-2020 12:48:07 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex.sml 14369.47.
24-Nov-2020 12:48:07 Declaration is not exhaustive.
24-Nov-2020 12:48:07 missing pattern: (:: (_, (:: (_, nil)))) | (:: (_, nil)) | nil
24-Nov-2020 12:48:07 in: _ :: nstr :: fstr :: _ = String.tokens Char.isSpace yytext
24-Nov-2020 12:48:25 mkdir -p /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/ARM_HYP
24-Nov-2020 12:48:25 mlton -mlb-path-var 'L4V_ARCH ARM_HYP' -output /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/ARM_HYP/c-parser /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/c-parser.mlb
24-Nov-2020 12:48:30 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Expr.ML 234.5.
24-Nov-2020 12:48:30 Case has redundant rules.
24-Nov-2020 12:48:30 rules: _ => "[whoa! Unknown expr type]"
24-Nov-2020 12:48:30 in: case enode e of (BinOp _) => "Bin ... Unknown expr type]"
24-Nov-2020 12:48:30 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Expr.ML 452.7.
24-Nov-2020 12:48:30 Case has redundant rules.
24-Nov-2020 12:48:30 rules: _ => raise (Fail ("constify_abtyp ... tyname0 (K "") ty))
24-Nov-2020 12:48:30 in: case ty of (Array (ty0, SOME sz)) ... tyname0 (K "") ty)))
24-Nov-2020 12:48:30 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Serial.ML 56.5.
24-Nov-2020 12:48:30 Case has redundant rules.
24-Nov-2020 12:48:30 rules: _ => [Q "[whoa! Unknown expr type]"]
24-Nov-2020 12:48:30 in: case enode e of (BinOp (t, e, e2) ... Unknown expr type]"]
24-Nov-2020 12:48:30 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex.sml 14383.47.
24-Nov-2020 12:48:30 Declaration is not exhaustive.
24-Nov-2020 12:48:30 missing pattern: (:: (_, (:: (_, nil)))) | (:: (_, nil)) | nil
24-Nov-2020 12:48:30 in: _ :: nstr :: fstr :: _ = String.tokens Char.isSpace yytext
24-Nov-2020 12:48:30 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex.sml 14369.47.
24-Nov-2020 12:48:30 Declaration is not exhaustive.
24-Nov-2020 12:48:30 missing pattern: (:: (_, (:: (_, nil)))) | (:: (_, nil)) | nil
24-Nov-2020 12:48:30 in: _ :: nstr :: fstr :: _ = String.tokens Char.isSpace yytext
24-Nov-2020 12:48:48 mkdir -p /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/X64
24-Nov-2020 12:48:48 mlton -mlb-path-var 'L4V_ARCH X64' -output /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/X64/c-parser /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/c-parser.mlb
24-Nov-2020 12:48:53 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Expr.ML 234.5.
24-Nov-2020 12:48:53 Case has redundant rules.
24-Nov-2020 12:48:53 rules: _ => "[whoa! Unknown expr type]"
24-Nov-2020 12:48:53 in: case enode e of (BinOp _) => "Bin ... Unknown expr type]"
24-Nov-2020 12:48:53 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Expr.ML 452.7.
24-Nov-2020 12:48:53 Case has redundant rules.
24-Nov-2020 12:48:53 rules: _ => raise (Fail ("constify_abtyp ... tyname0 (K "") ty))
24-Nov-2020 12:48:53 in: case ty of (Array (ty0, SOME sz)) ... tyname0 (K "") ty)))
24-Nov-2020 12:48:53 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Serial.ML 56.5.
24-Nov-2020 12:48:53 Case has redundant rules.
24-Nov-2020 12:48:53 rules: _ => [Q "[whoa! Unknown expr type]"]
24-Nov-2020 12:48:53 in: case enode e of (BinOp (t, e, e2) ... Unknown expr type]"]
24-Nov-2020 12:48:53 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex.sml 14383.47.
24-Nov-2020 12:48:53 Declaration is not exhaustive.
24-Nov-2020 12:48:53 missing pattern: (:: (_, (:: (_, nil)))) | (:: (_, nil)) | nil
24-Nov-2020 12:48:53 in: _ :: nstr :: fstr :: _ = String.tokens Char.isSpace yytext
24-Nov-2020 12:48:53 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex.sml 14369.47.
24-Nov-2020 12:48:53 Declaration is not exhaustive.
24-Nov-2020 12:48:53 missing pattern: (:: (_, (:: (_, nil)))) | (:: (_, nil)) | nil
24-Nov-2020 12:48:53 in: _ :: nstr :: fstr :: _ = String.tokens Char.isSpace yytext
24-Nov-2020 12:49:12 mkdir -p /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/RISCV64
24-Nov-2020 12:49:12 mlton -mlb-path-var 'L4V_ARCH RISCV64' -output /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/RISCV64/c-parser /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/c-parser.mlb
24-Nov-2020 12:49:17 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Expr.ML 234.5.
24-Nov-2020 12:49:17 Case has redundant rules.
24-Nov-2020 12:49:17 rules: _ => "[whoa! Unknown expr type]"
24-Nov-2020 12:49:17 in: case enode e of (BinOp _) => "Bin ... Unknown expr type]"
24-Nov-2020 12:49:17 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Expr.ML 452.7.
24-Nov-2020 12:49:17 Case has redundant rules.
24-Nov-2020 12:49:17 rules: _ => raise (Fail ("constify_abtyp ... tyname0 (K "") ty))
24-Nov-2020 12:49:17 in: case ty of (Array (ty0, SOME sz)) ... tyname0 (K "") ty)))
24-Nov-2020 12:49:17 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Serial.ML 56.5.
24-Nov-2020 12:49:17 Case has redundant rules.
24-Nov-2020 12:49:17 rules: _ => [Q "[whoa! Unknown expr type]"]
24-Nov-2020 12:49:17 in: case enode e of (BinOp (t, e, e2) ... Unknown expr type]"]
24-Nov-2020 12:49:17 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex.sml 14383.47.
24-Nov-2020 12:49:17 Declaration is not exhaustive.
24-Nov-2020 12:49:17 missing pattern: (:: (_, (:: (_, nil)))) | (:: (_, nil)) | nil
24-Nov-2020 12:49:17 in: _ :: nstr :: fstr :: _ = String.tokens Char.isSpace yytext
24-Nov-2020 12:49:17 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex.sml 14369.47.
24-Nov-2020 12:49:17 Declaration is not exhaustive.
24-Nov-2020 12:49:17 missing pattern: (:: (_, (:: (_, nil)))) | (:: (_, nil)) | nil
24-Nov-2020 12:49:17 in: _ :: nstr :: fstr :: _ = String.tokens Char.isSpace yytext
24-Nov-2020 12:49:35 mlton -mlb-path-var 'L4V_ARCH ARM' -output /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/ARM/tokenizer /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/tokenizer.mlb
24-Nov-2020 12:49:38 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Expr.ML 234.5.
24-Nov-2020 12:49:38 Case has redundant rules.
24-Nov-2020 12:49:38 rules: _ => "[whoa! Unknown expr type]"
24-Nov-2020 12:49:38 in: case enode e of (BinOp _) => "Bin ... Unknown expr type]"
24-Nov-2020 12:49:38 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Expr.ML 452.7.
24-Nov-2020 12:49:38 Case has redundant rules.
24-Nov-2020 12:49:38 rules: _ => raise (Fail ("constify_abtyp ... tyname0 (K "") ty))
24-Nov-2020 12:49:38 in: case ty of (Array (ty0, SOME sz)) ... tyname0 (K "") ty)))
24-Nov-2020 12:49:38 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex.sml 14383.47.
24-Nov-2020 12:49:38 Declaration is not exhaustive.
24-Nov-2020 12:49:38 missing pattern: (:: (_, (:: (_, nil)))) | (:: (_, nil)) | nil
24-Nov-2020 12:49:38 in: _ :: nstr :: fstr :: _ = String.tokens Char.isSpace yytext
24-Nov-2020 12:49:38 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex.sml 14369.47.
24-Nov-2020 12:49:38 Declaration is not exhaustive.
24-Nov-2020 12:49:38 missing pattern: (:: (_, (:: (_, nil)))) | (:: (_, nil)) | nil
24-Nov-2020 12:49:38 in: _ :: nstr :: fstr :: _ = String.tokens Char.isSpace yytext
24-Nov-2020 12:49:42 mlton -mlb-path-var 'L4V_ARCH ARM_HYP' -output /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/ARM_HYP/tokenizer /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/tokenizer.mlb
24-Nov-2020 12:49:46 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Expr.ML 234.5.
24-Nov-2020 12:49:46 Case has redundant rules.
24-Nov-2020 12:49:46 rules: _ => "[whoa! Unknown expr type]"
24-Nov-2020 12:49:46 in: case enode e of (BinOp _) => "Bin ... Unknown expr type]"
24-Nov-2020 12:49:46 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Expr.ML 452.7.
24-Nov-2020 12:49:46 Case has redundant rules.
24-Nov-2020 12:49:46 rules: _ => raise (Fail ("constify_abtyp ... tyname0 (K "") ty))
24-Nov-2020 12:49:46 in: case ty of (Array (ty0, SOME sz)) ... tyname0 (K "") ty)))
24-Nov-2020 12:49:46 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex.sml 14383.47.
24-Nov-2020 12:49:46 Declaration is not exhaustive.
24-Nov-2020 12:49:46 missing pattern: (:: (_, (:: (_, nil)))) | (:: (_, nil)) | nil
24-Nov-2020 12:49:46 in: _ :: nstr :: fstr :: _ = String.tokens Char.isSpace yytext
24-Nov-2020 12:49:46 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex.sml 14369.47.
24-Nov-2020 12:49:46 Declaration is not exhaustive.
24-Nov-2020 12:49:46 missing pattern: (:: (_, (:: (_, nil)))) | (:: (_, nil)) | nil
24-Nov-2020 12:49:46 in: _ :: nstr :: fstr :: _ = String.tokens Char.isSpace yytext
24-Nov-2020 12:49:49 mlton -mlb-path-var 'L4V_ARCH X64' -output /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/X64/tokenizer /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/tokenizer.mlb
24-Nov-2020 12:49:53 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Expr.ML 234.5.
24-Nov-2020 12:49:53 Case has redundant rules.
24-Nov-2020 12:49:53 rules: _ => "[whoa! Unknown expr type]"
24-Nov-2020 12:49:53 in: case enode e of (BinOp _) => "Bin ... Unknown expr type]"
24-Nov-2020 12:49:53 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Expr.ML 452.7.
24-Nov-2020 12:49:53 Case has redundant rules.
24-Nov-2020 12:49:53 rules: _ => raise (Fail ("constify_abtyp ... tyname0 (K "") ty))
24-Nov-2020 12:49:53 in: case ty of (Array (ty0, SOME sz)) ... tyname0 (K "") ty)))
24-Nov-2020 12:49:53 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex.sml 14383.47.
24-Nov-2020 12:49:53 Declaration is not exhaustive.
24-Nov-2020 12:49:53 missing pattern: (:: (_, (:: (_, nil)))) | (:: (_, nil)) | nil
24-Nov-2020 12:49:53 in: _ :: nstr :: fstr :: _ = String.tokens Char.isSpace yytext
24-Nov-2020 12:49:53 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex.sml 14369.47.
24-Nov-2020 12:49:53 Declaration is not exhaustive.
24-Nov-2020 12:49:53 missing pattern: (:: (_, (:: (_, nil)))) | (:: (_, nil)) | nil
24-Nov-2020 12:49:53 in: _ :: nstr :: fstr :: _ = String.tokens Char.isSpace yytext
24-Nov-2020 12:49:57 mlton -mlb-path-var 'L4V_ARCH RISCV64' -output /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/RISCV64/tokenizer /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/tokenizer.mlb
24-Nov-2020 12:50:00 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Expr.ML 234.5.
24-Nov-2020 12:50:00 Case has redundant rules.
24-Nov-2020 12:50:00 rules: _ => "[whoa! Unknown expr type]"
24-Nov-2020 12:50:00 in: case enode e of (BinOp _) => "Bin ... Unknown expr type]"
24-Nov-2020 12:50:00 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Expr.ML 452.7.
24-Nov-2020 12:50:00 Case has redundant rules.
24-Nov-2020 12:50:00 rules: _ => raise (Fail ("constify_abtyp ... tyname0 (K "") ty))
24-Nov-2020 12:50:00 in: case ty of (Array (ty0, SOME sz)) ... tyname0 (K "") ty)))
24-Nov-2020 12:50:00 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex.sml 14383.47.
24-Nov-2020 12:50:00 Declaration is not exhaustive.
24-Nov-2020 12:50:00 missing pattern: (:: (_, (:: (_, nil)))) | (:: (_, nil)) | nil
24-Nov-2020 12:50:00 in: _ :: nstr :: fstr :: _ = String.tokens Char.isSpace yytext
24-Nov-2020 12:50:00 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex.sml 14369.47.
24-Nov-2020 12:50:00 Declaration is not exhaustive.
24-Nov-2020 12:50:00 missing pattern: (:: (_, (:: (_, nil)))) | (:: (_, nil)) | nil
24-Nov-2020 12:50:00 in: _ :: nstr :: fstr :: _ = String.tokens Char.isSpace yytext
24-Nov-2020 12:50:04 make: Leaving directory '/home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser'
24-Nov-2020 12:50:06 make: Entering directory '/home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/spec/cspec/c'
24-Nov-2020 12:50:06 rm -rf build/RISCV64
24-Nov-2020 12:50:06 mkdir -p build/RISCV64
24-Nov-2020 12:50:06 cd build/RISCV64 && \
24-Nov-2020 12:50:06 cmake -C /tmp/munge-seL4.QiJA61At/sel4-clone/configs/RISCV64_verified.cmake \
24-Nov-2020 12:50:06 loading initial cache file /tmp/munge-seL4.QiJA61At/sel4-clone/configs/RISCV64_verified.cmake
24-Nov-2020 12:50:06 -- The C compiler identification is GNU 10.2.0
24-Nov-2020 12:50:06 -- The ASM compiler identification is GNU
24-Nov-2020 12:50:06 -- Found assembler: /opt/riscv/bin/riscv64-unknown-linux-gnu-gcc
24-Nov-2020 12:50:06 -- Check for working C compiler: /opt/riscv/bin/riscv64-unknown-linux-gnu-gcc
24-Nov-2020 12:50:06 -- Check for working C compiler: /opt/riscv/bin/riscv64-unknown-linux-gnu-gcc -- works
24-Nov-2020 12:50:06 -- Detecting C compiler ABI info
24-Nov-2020 12:50:06 -- Detecting C compiler ABI info - done
24-Nov-2020 12:50:06 -- Detecting C compile features
24-Nov-2020 12:50:06 -- Detecting C compile features - done
24-Nov-2020 12:50:06 -- /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/spec/cspec/c/build/RISCV64/gen_headers/plat/machine/devices_gen.h is out of date. Regenerating...
24-Nov-2020 12:50:06 WARNING:root:Only mapping 4096/67108864 bytes from node /soc/interrupt-controller@c000000, region 0. Set kernel_size in YAML to silence.
24-Nov-2020 12:50:06 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@0/interrupt-controller"
24-Nov-2020 12:50:06 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@1/interrupt-controller"
24-Nov-2020 12:50:06 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@1/interrupt-controller"
24-Nov-2020 12:50:06 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@2/interrupt-controller"
24-Nov-2020 12:50:06 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@2/interrupt-controller"
24-Nov-2020 12:50:06 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@3/interrupt-controller"
24-Nov-2020 12:50:06 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@3/interrupt-controller"
24-Nov-2020 12:50:06 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@4/interrupt-controller"
24-Nov-2020 12:50:06 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@4/interrupt-controller"
24-Nov-2020 12:50:06 interrupts for device /soc/interrupt-controller@c000000
24-Nov-2020 12:50:06 -- Configuring done
24-Nov-2020 12:50:06 -- Generating done
24-Nov-2020 12:50:06 -- Build files have been written to: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/spec/cspec/c/build/RISCV64
24-Nov-2020 12:50:06 touch build/RISCV64/.cmake_done
24-Nov-2020 12:50:06 cd build/RISCV64 && ninja kernel_all_pp_wrapper
24-Nov-2020 12:50:06 [1/21] Generate dummy headers for prune compilation
24-Nov-2020 12:50:07 [2/21] Generate invocation header gen_headers/arch/api/sel4_invocation.h
24-Nov-2020 12:50:07 [3/21] Generate invocation header gen_headers/api/invocation.h
24-Nov-2020 12:50:07 [4/21] Generate invocation header gen_headers/arch/api/invocation.h
24-Nov-2020 12:50:07 [5/21] Concatenating C files
24-Nov-2020 12:50:07 [6/21] Generate syscall invocations
24-Nov-2020 12:50:07 [7/21] Creating C input file for preprocessor
24-Nov-2020 12:50:07 [8/21] Creating C input file for preprocessor
24-Nov-2020 12:50:07 [9/21] Building C object CMakeFiles/kernel_bf_gen_target_1_pbf_temp_lib.dir/kernel_bf_gen_target_1_pbf_temp.c.obj
24-Nov-2020 12:50:07 [10/21] Generating generated/arch/object/structures.bf.pbf
24-Nov-2020 12:50:07 [11/21] Building C object CMakeFiles/kernel_all_pp_prune_wrapper_temp_lib.dir/kernel_all_pp_prune_wrapper_temp.c.obj
24-Nov-2020 12:50:07 [12/21] Generating kernel_all_pp_prune.c
24-Nov-2020 12:50:07 [13/21] Generating from generated/arch/object/structures.bf.pbf
24-Nov-2020 12:50:07 [14/21] Creating C input file for preprocessor
24-Nov-2020 12:50:07 [15/21] Building C object CMakeFiles/kernel_bf_gen_target_11_pbf_temp_lib.dir/kernel_bf_gen_target_11_pbf_temp.c.obj
24-Nov-2020 12:50:07 [16/21] Generating generated/sel4/shared_types.bf.pbf
24-Nov-2020 12:50:07 [17/21] Generating from generated/sel4/shared_types.bf.pbf
24-Nov-2020 12:50:07 [18/21] Creating C input file for preprocessor
24-Nov-2020 12:50:07 [19/21] Building C object CMakeFiles/kernel_i_wrapper_temp_lib.dir/kernel_all_copy.c.obj
24-Nov-2020 12:50:07 [20/21] Generating kernel_all.i
24-Nov-2020 12:50:07 [21/21] Generating kernel_all_pp.c
24-Nov-2020 12:50:07 cp -a build/RISCV64/kernel_all_pp.c build/RISCV64/kernel_all.c_pp
24-Nov-2020 12:50:07 make: Leaving directory '/home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/spec/cspec/c'
24-Nov-2020 12:50:09 [0;31m[0;31m
24-Nov-2020 12:50:09 #################################
24-Nov-2020 12:50:09 # Some symbols have changed #
24-Nov-2020 12:50:09 #################################
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09 [0;33mSymbols diff:[0m
24-Nov-2020 12:50:09 @@ -1442,7 +1442,6 @@
24-Nov-2020 12:50:09 C variable 'n' declared in function 'memset' -> Isabelle state field 'n___unsigned_long' with abbreviation 'n'
24-Nov-2020 12:50:09 C variable 'n' declared in function 'memzero' -> Isabelle state field 'n___unsigned_long' with abbreviation 'n'
24-Nov-2020 12:50:09 C variable 'n' declared in function 'reduceZombie' -> Isabelle state field 'n___unsigned_long' with abbreviation 'n'
24-Nov-2020 12:50:09 -C variable 'n' declared in function 'riscv_read_cycle' -> Isabelle state field 'n___unsigned_longlong' with no abbreviation
24-Nov-2020 12:50:09 C variable 'n' declared in function 'riscv_read_time' -> Isabelle state field 'n___unsigned_longlong' with no abbreviation
24-Nov-2020 12:50:09 C variable 'n' declared in function 'strncmp' -> Isabelle state field 'n___int' with no abbreviation
24-Nov-2020 12:50:09 C variable 'ndks_boot' declared globally -> Isabelle state field 'ndks_boot' with no abbreviation
24-Nov-2020 12:50:09 @@ -2847,7 +2846,6 @@
24-Nov-2020 12:50:09 C variable 'ret__unsigned_longlong' declared in function 'pte_ptr_get_read' -> Isabelle state field 'ret__unsigned_longlong' with no abbreviation
24-Nov-2020 12:50:09 C variable 'ret__unsigned_longlong' declared in function 'pte_ptr_get_valid' -> Isabelle state field 'ret__unsigned_longlong' with no abbreviation
24-Nov-2020 12:50:09 C variable 'ret__unsigned_longlong' declared in function 'pte_ptr_get_write' -> Isabelle state field 'ret__unsigned_longlong' with no abbreviation
24-Nov-2020 12:50:09 -C variable 'ret__unsigned_longlong' declared in function 'riscv_read_cycle' -> Isabelle state field 'ret__unsigned_longlong' with no abbreviation
24-Nov-2020 12:50:09 C variable 'ret__unsigned_longlong' declared in function 'riscv_read_time' -> Isabelle state field 'ret__unsigned_longlong' with no abbreviation
24-Nov-2020 12:50:09 C variable 'ret__unsigned_longlong' declared in function 'seL4_CapRights_get_capAllowGrant' -> Isabelle state field 'ret__unsigned_longlong' with no abbreviation
24-Nov-2020 12:50:09 C variable 'ret__unsigned_longlong' declared in function 'seL4_CapRights_get_capAllowGrantReply' -> Isabelle state field 'ret__unsigned_longlong' with no abbreviation
24-Nov-2020 12:50:09 @@ -2882,7 +2880,6 @@
24-Nov-2020 12:50:09 C variable 'RISCVGetReadFromVMRights' declared globally -> Isabelle state field 'RISCVGetReadFromVMRights' with no abbreviation
24-Nov-2020 12:50:09 C variable 'RISCVGetWriteFromVMRights' declared globally -> Isabelle state field 'RISCVGetWriteFromVMRights' with no abbreviation
24-Nov-2020 12:50:09 C variable 'riscvKSASIDTable' declared globally -> Isabelle state field 'riscvKSASIDTable' with no abbreviation
24-Nov-2020 12:50:09 -C variable 'riscv_read_cycle' declared globally -> Isabelle state field 'riscv_read_cycle' with no abbreviation
24-Nov-2020 12:50:09 C variable 'riscv_read_time' declared globally -> Isabelle state field 'riscv_read_time' with no abbreviation
24-Nov-2020 12:50:09 C variable 'rootCap' declared in function 'decodeUntypedInvocation' -> Isabelle state field 'rootCap___struct_cap_C' with abbreviation 'rootCap'
24-Nov-2020 12:50:09 C variable 'rootCaps' declared in function 'decodeTCBConfigure' -> Isabelle state field 'rootCaps___struct_extra_caps_C' with abbreviation 'rootCaps'
24-Nov-2020 12:50:09 [0;31m[0;31m
24-Nov-2020 12:50:09 #################################
24-Nov-2020 12:50:09 # The ASTs differ #
24-Nov-2020 12:50:09 #################################
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09 [0m[0;33m
24-Nov-2020 12:50:09 [0m[0;31mFiles kernel_all_1.txt and kernel_all_2.txt differ
24-Nov-2020 12:50:09 [0;31m
24-Nov-2020 12:50:09 #################################
24-Nov-2020 12:50:09 # Something has changed #
24-Nov-2020 12:50:09 #################################
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09 [0m[0;33mkernel_all diff:[0m
24-Nov-2020 12:50:09 @@ -9,17 +9,9 @@
24-Nov-2020 12:50:09 */
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09 /*
24-Nov-2020 12:50:09 - * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
24-Nov-2020 12:50:09 - *
24-Nov-2020 12:50:09 - * SPDX-License-Identifier: GPL-2.0-only
24-Nov-2020 12:50:09 - */
24-Nov-2020 12:50:09 -
24-Nov-2020 12:50:09 -
24-Nov-2020 12:50:09 -
24-Nov-2020 12:50:09 -/*
24-Nov-2020 12:50:09 * Copyright 2014, General Dynamics C4 Systems
24-Nov-2020 12:50:09 *
24-Nov-2020 12:50:09 - * SPDX-License-Identifier: BSD-2-Clause
24-Nov-2020 12:50:09 + * SPDX-License-Identifier: GPL-2.0-only
24-Nov-2020 12:50:09 */
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09 @@ -101,7 +93,6 @@
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09 /* Alias CONFIG_MAX_NUM_NODES > 1 to ENABLE_SMP_SUPPORT */
24-Nov-2020 12:50:09 -/* Configurations requring the kernel log buffer */
24-Nov-2020 12:50:09 /*
24-Nov-2020 12:50:09 * Copyright 2014, General Dynamics C4 Systems
24-Nov-2020 12:50:09 *
24-Nov-2020 12:50:09 @@ -331,8 +322,6 @@
24-Nov-2020 12:50:09 typedef paddr_t seL4_PAddr;
24-Nov-2020 12:50:09 typedef dom_t seL4_Domain;
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09 -typedef uint64_t timestamp_t;
24-Nov-2020 12:50:09 -
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09 typedef struct kernel_frame {
24-Nov-2020 12:50:09 @@ -3224,15 +3213,6 @@
24-Nov-2020 12:50:09 return n;
24-Nov-2020 12:50:09 }
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09 -static inline uint64_t riscv_read_cycle(void)
24-Nov-2020 12:50:09 -{
24-Nov-2020 12:50:09 - uint64_t n;
24-Nov-2020 12:50:09 - __asm__ volatile(
24-Nov-2020 12:50:09 - "rdcycle %0"
24-Nov-2020 12:50:09 - : "=r"(n));
24-Nov-2020 12:50:09 - return n;
24-Nov-2020 12:50:09 -}
24-Nov-2020 12:50:09 -
24-Nov-2020 12:50:09 /* Privileged CSR definitions */
24-Nov-2020 12:50:09 /*
24-Nov-2020 12:50:09 * Copyright 2014, General Dynamics C4 Systems
24-Nov-2020 12:50:09 @@ -5777,7 +5757,6 @@
24-Nov-2020 12:50:09 */
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09 -
24-Nov-2020 12:50:09 /*
24-Nov-2020 12:50:09 * Copyright 2014, General Dynamics C4 Systems
24-Nov-2020 12:50:09 *
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09 [0;31mPreprocess test FAILED.[0m
24-Nov-2020 12:50:09 Failing task since return code of [/tmp/runInDocker2113512277457521363.sh /home/bamboo/bamboo-agent-home/temp/SEL4-PFP1226-RISCV64PREPROCESS-2-ScriptBuildTask-8873144801304523612.sh] was 1 while expected 0
24-Nov-2020 12:50:09 Finished task 'Do the munge' with result: Failed
24-Nov-2020 12:50:09 Starting task 'Set permissions so Bamboo can cleanup' of type 'com.atlassian.bamboo.plugins.scripttask:task.builder.script'
24-Nov-2020 12:50:10 + chmod -R o+rwx /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS
24-Nov-2020 12:50:10 Finished task 'Set permissions so Bamboo can cleanup' with result: Success
24-Nov-2020 12:50:10 Running post build plugin 'Docker Container Cleanup'
24-Nov-2020 12:50:10 Running post build plugin 'NCover Results Collector'
24-Nov-2020 12:50:10 Running post build plugin 'Clover Results Collector'
24-Nov-2020 12:50:10 Running post build plugin 'npm Cache Cleanup'
24-Nov-2020 12:50:10 Running post build plugin 'Artifact Copier'
24-Nov-2020 12:50:10 Publishing an artifact: Munge files
24-Nov-2020 12:50:10 Finished publishing of artifact Non required job artifact: [Munge files], pattern: [*.txt] in 245.9 ms
24-Nov-2020 12:50:10 Successfully removed working directory at '/home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS'
24-Nov-2020 12:50:10 Finalising the build...
24-Nov-2020 12:50:10 Stopping timer.
24-Nov-2020 12:50:10 Build SEL4-PFP1226-RISCV64PREPROCESS-2 completed.
24-Nov-2020 12:50:11 9bf22534-d7da-4366-a790-6f8a42c281b4186124069
24-Nov-2020 12:50:11 Running on server: post build plugin 'NCover Results Collector'
24-Nov-2020 12:50:11 Running on server: post build plugin 'Build Hanging Detection Configuration'
24-Nov-2020 12:50:11 Running on server: post build plugin 'Clover Delta Calculator'
24-Nov-2020 12:50:11 Running on server: post build plugin 'Maven Dependencies Postprocessor'
24-Nov-2020 12:50:11 All post build plugins have finished
24-Nov-2020 12:50:11 Generating build results summary...
24-Nov-2020 12:50:11 Saving build results to disk...
24-Nov-2020 12:50:11 Store variable context...
24-Nov-2020 12:50:11 Indexing build results...
24-Nov-2020 12:50:11 Finished building SEL4-PFP1226-RISCV64PREPROCESS-2.
This is the most I can report on right now, sorry!
Test results for commit 082b07aa83e9d4f3ad9782c8b1ceee58f805abb8
Summary
NOTE: some test results have been updated!
| Test name | Result |
|---|---|
| Code Quality - C Parser - EXT-seL4-rk3288-280 | SUCCESSFUL |
| Code Quality - Check licenses - seL4 - EXT-seL4-rk3288-280 | SUCCESSFUL |
| Code Quality - Reuse License Check - seL4 - EXT-seL4-rk3288-280 | SUCCESSFUL |
| Code Quality - Signed-off-by - seL4 - EXT-seL4-rk3288-280 | FAILED |
| Code Quality - Style - seL4 - EXT-seL4-rk3288-280 | SUCCESSFUL |
| Dev seL4 tests - seL4 PRs: Kernel Compile - EXT-seL4-rk3288-280 | FAILED |
| Dev seL4 tests - seL4 PRs: Preprocess - EXT-seL4-rk3288-280 | FAILED |
| Dev seL4 tests - seL4 PRs: compile seL4test - EXT-seL4-rk3288-280 | SUCCESSFUL |
Detailed failure logs
| Project | Stage | Result summary |
|---|---|---|
| Code Quality - Signed-off-by - seL4 - EXT-seL4-rk3288-280 | Check all commits have been Signed-Off-by | 1 of 1 job failed |
Job: signedoff Build logs
24-Nov-2020 12:14:42 Build Code Quality - Signed-off-by - seL4 - EXT-seL4-rk3288-280 - signedoff #2 (CQ-SEL4SIGNEDOFF152-SEL4SIGNEDOFFSIGNEDOFF-2) started building on agent A local agent 1
24-Nov-2020 12:14:42 I run on the Bamboo server!
24-Nov-2020 12:14:42 Build working directory is /var/atlassian/application-data/bamboo/xml-data/build-dir/140083221/CQ-SEL4SIGNEDOFF152-SEL4SIGNEDOFFSIGNEDOFF
24-Nov-2020 12:14:42 Executing build Code Quality - Signed-off-by - seL4 - EXT-seL4-rk3288-280 - signedoff #2 (CQ-SEL4SIGNEDOFF152-SEL4SIGNEDOFFSIGNEDOFF-2)
24-Nov-2020 12:14:42 Preparing artifact 'code' for use at /var/atlassian/application-data/bamboo/xml-data/build-dir/140083221/CQ-SEL4SIGNEDOFF152-SEL4SIGNEDOFFSIGNEDOFF/. (location: .)
24-Nov-2020 12:14:42 Artifact 'code' prepared in 26.74 ms at /var/atlassian/application-data/bamboo/xml-data/build-dir/140083221/CQ-SEL4SIGNEDOFF152-SEL4SIGNEDOFFSIGNEDOFF/./code.tar.gz
24-Nov-2020 12:14:42 Running pre-build action: VCS Version Collector
24-Nov-2020 12:14:42 Starting task 'Untar code' of type 'com.atlassian.bamboo.plugins.scripttask:task.builder.script'
24-Nov-2020 12:14:42 + tar xf code.tar.gz --recursive-unlink
24-Nov-2020 12:14:42 Finished task 'Untar code' with result: Success
24-Nov-2020 12:14:42 Starting task 'Set permissions so Bamboo can cleanup' of type 'com.atlassian.bamboo.plugins.scripttask:task.builder.script'
24-Nov-2020 12:14:42 + chmod -R o+rwx /var/atlassian/application-data/bamboo/xml-data/build-dir/140083221/CQ-SEL4SIGNEDOFF152-SEL4SIGNEDOFFSIGNEDOFF
24-Nov-2020 12:14:42 Finished task 'Set permissions so Bamboo can cleanup' with result: Success
24-Nov-2020 12:14:42 Starting task 'Check commits have been signed-off' of type 'com.atlassian.bamboo.plugins.scripttask:task.builder.script'
24-Nov-2020 12:14:42 + cd seL4
24-Nov-2020 12:14:42 +++ git merge-base 082b07aa83e9d4f3ad9782c8b1ceee58f805abb8 d4f59d37b142421f574a213e89592e319b73b0df
24-Nov-2020 12:14:42 ++ git rev-list --invert-grep --grep=Signed-off-by: 2c6576c80a8198a29dbf4f820c17937a69cad62b..082b07aa83e9d4f3ad9782c8b1ceee58f805abb8
24-Nov-2020 12:14:43 + commits_not_signed_off=082b07aa83e9d4f3ad9782c8b1ceee58f805abb8
24-Nov-2020 12:14:43 + '[' '!' -z 082b07aa83e9d4f3ad9782c8b1ceee58f805abb8 ']'
24-Nov-2020 12:14:43 + echo 'The follow commits need to be signed off:'
24-Nov-2020 12:14:43 + echo 082b07aa83e9d4f3ad9782c8b1ceee58f805abb8
24-Nov-2020 12:14:43 + exit 1
24-Nov-2020 12:14:43 The follow commits need to be signed off:
24-Nov-2020 12:14:43 082b07aa83e9d4f3ad9782c8b1ceee58f805abb8
24-Nov-2020 12:14:43 Failing task since return code of [/var/atlassian/application-data/bamboo/temp/CQ-SEL4SIGNEDOFF152-SEL4SIGNEDOFFSIGNEDOFF-2-ScriptBuildTask-2282589317333194666.sh] was 1 while expected 0
24-Nov-2020 12:14:43 Finished task 'Check commits have been signed-off' with result: Failed
24-Nov-2020 12:14:43 Starting task 'Set permissions so Bamboo can cleanup' of type 'com.atlassian.bamboo.plugins.scripttask:task.builder.script'
24-Nov-2020 12:14:43 + chmod -R o+rwx /var/atlassian/application-data/bamboo/xml-data/build-dir/140083221/CQ-SEL4SIGNEDOFF152-SEL4SIGNEDOFFSIGNEDOFF
24-Nov-2020 12:14:43 Finished task 'Set permissions so Bamboo can cleanup' with result: Success
24-Nov-2020 12:14:43 Starting task 'Run dco code insights' of type 'com.atlassian.bamboo.plugins.scripttask:task.builder.script'
24-Nov-2020 12:14:43 + cd seL4
24-Nov-2020 12:14:43 ++ echo ssh://[email protected]:7999/sel4/sel4.git
24-Nov-2020 12:14:43 ++ cut -d/ -f4
24-Nov-2020 12:14:43 + bb_proj=sel4
24-Nov-2020 12:14:43 + /scripts/bb_code_insights/create_code_insights.sh git-commits-signed-off sel4 seL4
24-Nov-2020 12:14:43 ++ dirname /scripts/bb_code_insights/create_code_insights.sh
24-Nov-2020 12:14:43 + SCRIPT_DIR=/scripts/bb_code_insights
24-Nov-2020 12:14:43 + BBS_URL=https://bitbucket.ts.data61.csiro.au
24-Nov-2020 12:14:43 + BBS_PROJECT=sel4
24-Nov-2020 12:14:43 + BBS_REPO=seL4
24-Nov-2020 12:14:43 + REPORT_TO_RUN=git-commits-signed-off
24-Nov-2020 12:14:43 ++ git rev-parse HEAD
24-Nov-2020 12:14:43 + COMMIT_ID=082b07aa83e9d4f3ad9782c8b1ceee58f805abb8
24-Nov-2020 12:14:43 + REPORT_KEY=git-commits-signed-off.report
24-Nov-2020 12:14:43 + set +x
24-Nov-2020 12:14:43 + report_file=git-commits-signed-off_report.json
24-Nov-2020 12:14:43 + annotations_file=git-commits-signed-off_annotations.json
24-Nov-2020 12:14:43 + rm -f git-commits-signed-off_report.json git-commits-signed-off_annotations.json
24-Nov-2020 12:14:43 + /scripts/bb_code_insights/git-commits-signed-off
24-Nov-2020 12:14:44 Running: git merge-base 082b07aa83e9d4f3ad9782c8b1ceee58f805abb8 d4f59d37b142421f574a213e89592e319b73b0df
24-Nov-2020 12:14:44 2c6576c80a8198a29dbf4f820c17937a69cad62b
24-Nov-2020 12:14:44 Running: git rev-list --invert-grep --grep=Signed-off-by: 2c6576c80a8198a29dbf4f820c17937a69cad62b..082b07aa83e9d4f3ad9782c8b1ceee58f805abb8
24-Nov-2020 12:14:44 082b07aa83e9d4f3ad9782c8b1ceee58f805abb8
24-Nov-2020 12:14:44 Identified bad commits:
24-Nov-2020 12:14:44 []
24-Nov-2020 12:14:44 + echo 'Reporting the results to BitBucket, but doing so *secretly*, so people don'\''t see the access token'
24-Nov-2020 12:14:44 Reporting the results to BitBucket, but doing so *secretly*, so people don't see the access token
24-Nov-2020 12:14:44 + set +x
24-Nov-2020 12:14:44 + '[' -f git-commits-signed-off_report.json ']'
24-Nov-2020 12:14:44 + cat git-commits-signed-off_report.json
24-Nov-2020 12:14:44 + '[' -f git-commits-signed-off_annotations.json ']'
24-Nov-2020 12:14:44 {"data":[{"title":"Total number of commits not signed-off","value":0,"type":"NUMBER"}],"createdDate":1606180484693,"details":"All good B-)","key":"git-commits-signed-off.report","result":"PASS","title":"Signed-off commits"}{"title": "Signed-off commits", "data": [{"title": "Total number of commits not signed-off", "value": 0, "type": "NUMBER"}], "details": "All good B-)", "result": "PASS"}
24-Nov-2020 12:14:44 Finished task 'Run dco code insights' with result: Success
24-Nov-2020 12:14:44 Running post build plugin 'NCover Results Collector'
24-Nov-2020 12:14:44 Running post build plugin 'Artifact Copier'
24-Nov-2020 12:14:44 Running post build plugin 'npm Cache Cleanup'
24-Nov-2020 12:14:44 Running post build plugin 'Clover Results Collector'
24-Nov-2020 12:14:44 Running post build plugin 'Docker Container Cleanup'
24-Nov-2020 12:14:44 Successfully removed working directory at '/var/atlassian/application-data/bamboo/xml-data/build-dir/140083221/CQ-SEL4SIGNEDOFF152-SEL4SIGNEDOFFSIGNEDOFF'
24-Nov-2020 12:14:44 Finalising the build...
24-Nov-2020 12:14:44 Stopping timer.
24-Nov-2020 12:14:44 Build CQ-SEL4SIGNEDOFF152-SEL4SIGNEDOFFSIGNEDOFF-2 completed.
24-Nov-2020 12:14:44 Running on server: post build plugin 'NCover Results Collector'
24-Nov-2020 12:14:44 Running on server: post build plugin 'Build Hanging Detection Configuration'
24-Nov-2020 12:14:44 Running on server: post build plugin 'Clover Delta Calculator'
24-Nov-2020 12:14:44 Running on server: post build plugin 'Maven Dependencies Postprocessor'
24-Nov-2020 12:14:44 All post build plugins have finished
24-Nov-2020 12:14:44 Generating build results summary...
24-Nov-2020 12:14:44 Saving build results to disk...
24-Nov-2020 12:14:44 Store variable context...
24-Nov-2020 12:14:44 Indexing build results...
24-Nov-2020 12:14:44 Finished building CQ-SEL4SIGNEDOFF152-SEL4SIGNEDOFFSIGNEDOFF-2.
| Project | Stage | Result summary |
|---|---|---|
| Dev seL4 tests - seL4 PRs: Preprocess - EXT-seL4-rk3288-280 | Preprocess | 1 of 5 jobs failed |
Job: RISCV64 Build logs
24-Nov-2020 12:44:19 Build Dev seL4 tests - seL4 PRs: Preprocess - EXT-seL4-rk3288-280 - RISCV64 #2 (SEL4-PFP1226-RISCV64PREPROCESS-2) started building on agent Elastic Agent on i-00e1d1efb235b5c63
24-Nov-2020 12:44:19 Elastic agent on instance i-00e1d1efb235b5c63
24-Nov-2020 12:44:19 Build working directory is /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS
24-Nov-2020 12:44:19 Unable to find image 'trustworthysystems/l4v-riscv:latest' locally
24-Nov-2020 12:44:22 latest: Pulling from trustworthysystems/l4v-riscv
24-Nov-2020 12:44:22 afb6ec6fdc1c: Already exists
24-Nov-2020 12:44:22 b7902de2b59d: Already exists
24-Nov-2020 12:44:22 592d808c385b: Already exists
24-Nov-2020 12:44:22 c192b478fc0b: Already exists
24-Nov-2020 12:44:22 eaa64cae2c99: Already exists
24-Nov-2020 12:44:22 73a8119e1439: Pulling fs layer
24-Nov-2020 12:44:22 baf880f9ac8f: Pulling fs layer
24-Nov-2020 12:44:22 c4373e38aa74: Pulling fs layer
24-Nov-2020 12:44:22 49dcb90350f1: Pulling fs layer
24-Nov-2020 12:44:22 8594b42ece5c: Pulling fs layer
24-Nov-2020 12:44:22 0de79f52dfef: Pulling fs layer
24-Nov-2020 12:44:23 49dcb90350f1: Verifying Checksum
24-Nov-2020 12:44:23 49dcb90350f1: Download complete
24-Nov-2020 12:44:23 c4373e38aa74: Verifying Checksum
24-Nov-2020 12:44:23 c4373e38aa74: Download complete
24-Nov-2020 12:44:23 73a8119e1439: Verifying Checksum
24-Nov-2020 12:44:23 73a8119e1439: Download complete
24-Nov-2020 12:44:23 73a8119e1439: Pull complete
24-Nov-2020 12:44:27 baf880f9ac8f: Verifying Checksum
24-Nov-2020 12:44:27 baf880f9ac8f: Download complete
24-Nov-2020 12:44:29 0de79f52dfef: Verifying Checksum
24-Nov-2020 12:44:29 0de79f52dfef: Download complete
24-Nov-2020 12:44:43 8594b42ece5c: Verifying Checksum
24-Nov-2020 12:44:43 8594b42ece5c: Download complete
24-Nov-2020 12:44:53 baf880f9ac8f: Pull complete
24-Nov-2020 12:44:53 c4373e38aa74: Pull complete
24-Nov-2020 12:44:53 49dcb90350f1: Pull complete
24-Nov-2020 12:45:55 8594b42ece5c: Pull complete
24-Nov-2020 12:46:27 0de79f52dfef: Pull complete
24-Nov-2020 12:46:27 Digest: sha256:4bc018193990498a86b1722b86ed95496599523ac86677cf9edf8ad561387155
24-Nov-2020 12:46:27 Status: Downloaded newer image for trustworthysystems/l4v-riscv:latest
24-Nov-2020 12:46:34 60670de660e5cbac5f9351fdb8475ce889e27ab36d10f98ee5f925c32f068abc
24-Nov-2020 12:46:36 Executing build Dev seL4 tests - seL4 PRs: Preprocess - EXT-seL4-rk3288-280 - RISCV64 #2 (SEL4-PFP1226-RISCV64PREPROCESS-2)
24-Nov-2020 12:46:36 Preparing artifact 'code' for use at /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/. (location: .)
24-Nov-2020 12:47:34 Artifact 'code' prepared in 58.40 s at /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/code.tar.gz
24-Nov-2020 12:47:34 Running pre-build action: VCS Version Collector
24-Nov-2020 12:47:34 Starting task 'Untar code' of type 'com.atlassian.bamboo.plugins.scripttask:task.builder.script'
24-Nov-2020 12:47:36 + tar xf code.tar.gz --recursive-unlink
24-Nov-2020 12:47:43 Finished task 'Untar code' with result: Success
24-Nov-2020 12:47:43 Starting task 'Set permissions so Bamboo can cleanup' of type 'com.atlassian.bamboo.plugins.scripttask:task.builder.script'
24-Nov-2020 12:47:44 + chmod -R o+rwx /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS
24-Nov-2020 12:47:44 Finished task 'Set permissions so Bamboo can cleanup' with result: Success
24-Nov-2020 12:47:44 Starting task 'Inject git variables into the env' of type 'com.atlassian.bamboo.plugins.bamboo-variable-inject-plugin:inject'
24-Nov-2020 12:47:44 Injected variable bamboo.injected.TIP=082b07aa83e9d4f3ad9782c8b1ceee58f805abb8 in LOCAL scope
24-Nov-2020 12:47:44 Injected variable bamboo.injected.HEAD=d4f59d37b142421f574a213e89592e319b73b0df in LOCAL scope
24-Nov-2020 12:47:44 Finished task 'Inject git variables into the env' with result: Success
24-Nov-2020 12:47:44 Starting task 'Do the munge' of type 'com.atlassian.bamboo.plugins.scripttask:task.builder.script'
24-Nov-2020 12:47:46 ARCH: RISCV64
24-Nov-2020 12:47:46 HEAD: d4f59d37b142421f574a213e89592e319b73b0df
24-Nov-2020 12:47:46 TIP: 082b07aa83e9d4f3ad9782c8b1ceee58f805abb8
24-Nov-2020 12:47:46 + export L4V_ARCH=RISCV64
24-Nov-2020 12:47:46 + export L4V_FEATURES=
24-Nov-2020 12:47:46 + HEAD=d4f59d37b142421f574a213e89592e319b73b0df
24-Nov-2020 12:47:46 + TIP=082b07aa83e9d4f3ad9782c8b1ceee58f805abb8
24-Nov-2020 12:47:46 + echo ARCH: RISCV64
24-Nov-2020 12:47:46 + echo HEAD: d4f59d37b142421f574a213e89592e319b73b0df
24-Nov-2020 12:47:46 + echo TIP: 082b07aa83e9d4f3ad9782c8b1ceee58f805abb8
24-Nov-2020 12:47:46 + verification/tools-internal/preprocess/test_munge.sh -v -a -d -c d4f59d37b142421f574a213e89592e319b73b0df 082b07aa83e9d4f3ad9782c8b1ceee58f805abb8
24-Nov-2020 12:47:46 [0;33mREF1=seL4@d4f59d37b142421f574a213e89592e319b73b0df
24-Nov-2020 12:47:46 REF2=seL4@082b07aa83e9d4f3ad9782c8b1ceee58f805abb8
24-Nov-2020 12:47:46 L4V_ARCH=RISCV64
24-Nov-2020 12:47:46 WORKING...[0m
24-Nov-2020 12:47:46 make: Entering directory '/home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/spec/cspec/c'
24-Nov-2020 12:47:46 rm -rf build/RISCV64
24-Nov-2020 12:47:46 mkdir -p build/RISCV64
24-Nov-2020 12:47:46 cd build/RISCV64 && \
24-Nov-2020 12:47:46 cmake -C /tmp/munge-seL4.Lo1Gmp3B/sel4-clone/configs/RISCV64_verified.cmake \
24-Nov-2020 12:47:46 loading initial cache file /tmp/munge-seL4.Lo1Gmp3B/sel4-clone/configs/RISCV64_verified.cmake
24-Nov-2020 12:47:46 -- The C compiler identification is GNU 10.2.0
24-Nov-2020 12:47:46 -- The ASM compiler identification is GNU
24-Nov-2020 12:47:46 -- Found assembler: /opt/riscv/bin/riscv64-unknown-linux-gnu-gcc
24-Nov-2020 12:47:46 -- Check for working C compiler: /opt/riscv/bin/riscv64-unknown-linux-gnu-gcc
24-Nov-2020 12:47:46 -- Check for working C compiler: /opt/riscv/bin/riscv64-unknown-linux-gnu-gcc -- works
24-Nov-2020 12:47:46 -- Detecting C compiler ABI info
24-Nov-2020 12:47:46 -- Detecting C compiler ABI info - done
24-Nov-2020 12:47:46 -- Detecting C compile features
24-Nov-2020 12:47:46 -- Detecting C compile features - done
24-Nov-2020 12:47:46 -- /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/spec/cspec/c/build/RISCV64/gen_headers/plat/machine/devices_gen.h is out of date. Regenerating...
24-Nov-2020 12:47:47 WARNING:root:Only mapping 4096/67108864 bytes from node /soc/interrupt-controller@c000000, region 0. Set kernel_size in YAML to silence.
24-Nov-2020 12:47:47 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@0/interrupt-controller"
24-Nov-2020 12:47:47 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@1/interrupt-controller"
24-Nov-2020 12:47:47 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@1/interrupt-controller"
24-Nov-2020 12:47:47 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@2/interrupt-controller"
24-Nov-2020 12:47:47 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@2/interrupt-controller"
24-Nov-2020 12:47:47 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@3/interrupt-controller"
24-Nov-2020 12:47:47 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@3/interrupt-controller"
24-Nov-2020 12:47:47 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@4/interrupt-controller"
24-Nov-2020 12:47:47 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@4/interrupt-controller"
24-Nov-2020 12:47:47 interrupts for device /soc/interrupt-controller@c000000
24-Nov-2020 12:47:47 -- Configuring done
24-Nov-2020 12:47:47 -- Generating done
24-Nov-2020 12:47:47 -- Build files have been written to: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/spec/cspec/c/build/RISCV64
24-Nov-2020 12:47:47 touch build/RISCV64/.cmake_done
24-Nov-2020 12:47:47 cd build/RISCV64 && ninja kernel_all_pp_wrapper
24-Nov-2020 12:47:47 [1/21] Generate dummy headers for prune compilation
24-Nov-2020 12:47:47 [2/21] Concatenating C files
24-Nov-2020 12:47:47 [3/21] Generate invocation header gen_headers/arch/api/sel4_invocation.h
24-Nov-2020 12:47:47 [4/21] Generate invocation header gen_headers/arch/api/invocation.h
24-Nov-2020 12:47:47 [5/21] Generate invocation header gen_headers/api/invocation.h
24-Nov-2020 12:47:47 [6/21] Generate syscall invocations
24-Nov-2020 12:47:47 [7/21] Creating C input file for preprocessor
24-Nov-2020 12:47:47 [8/21] Creating C input file for preprocessor
24-Nov-2020 12:47:47 [9/21] Building C object CMakeFiles/kernel_bf_gen_target_1_pbf_temp_lib.dir/kernel_bf_gen_target_1_pbf_temp.c.obj
24-Nov-2020 12:47:47 [10/21] Generating generated/arch/object/structures.bf.pbf
24-Nov-2020 12:47:47 [11/21] Building C object CMakeFiles/kernel_all_pp_prune_wrapper_temp_lib.dir/kernel_all_pp_prune_wrapper_temp.c.obj
24-Nov-2020 12:47:47 [12/21] Generating kernel_all_pp_prune.c
24-Nov-2020 12:47:47 [13/21] Generating from generated/arch/object/structures.bf.pbf
24-Nov-2020 12:47:47 [14/21] Creating C input file for preprocessor
24-Nov-2020 12:47:47 [15/21] Building C object CMakeFiles/kernel_bf_gen_target_11_pbf_temp_lib.dir/kernel_bf_gen_target_11_pbf_temp.c.obj
24-Nov-2020 12:47:47 [16/21] Generating generated/sel4/shared_types.bf.pbf
24-Nov-2020 12:47:47 [17/21] Generating from generated/sel4/shared_types.bf.pbf
24-Nov-2020 12:47:47 [18/21] Creating C input file for preprocessor
24-Nov-2020 12:47:48 [19/21] Building C object CMakeFiles/kernel_i_wrapper_temp_lib.dir/kernel_all_copy.c.obj
24-Nov-2020 12:47:48 [20/21] Generating kernel_all.i
24-Nov-2020 12:47:48 [21/21] Generating kernel_all_pp.c
24-Nov-2020 12:47:48 cp -a build/RISCV64/kernel_all_pp.c build/RISCV64/kernel_all.c_pp
24-Nov-2020 12:47:48 make: Leaving directory '/home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/spec/cspec/c'
24-Nov-2020 12:47:48 Building c-parser...
24-Nov-2020 12:47:48 make: Entering directory '/home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser'
24-Nov-2020 12:47:48 sed -e '/ML.pretty-printing/,/final.declarations/d' < /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/../../../isabelle/src/Pure/General/table.ML > /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/table.ML
24-Nov-2020 12:47:48 mlton /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/tools/mllex/mllex.mlb
24-Nov-2020 12:47:52 /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/tools/mllex/mllex /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/tools/mlyacc/src/yacc.lex
24-Nov-2020 12:47:52
24-Nov-2020 12:47:52 Number of states = 95
24-Nov-2020 12:47:52 Number of distinct rows = 47
24-Nov-2020 12:47:52 Approx. memory size of trans. table = 6063 bytes
24-Nov-2020 12:47:52 mlton /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/tools/mlyacc/mlyacc.mlb
24-Nov-2020 12:48:01 /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/tools/mlyacc/mlyacc /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.grm
24-Nov-2020 12:48:01 1 shift/reduce conflict
24-Nov-2020 12:48:01 /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/tools/mllex/mllex /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex
24-Nov-2020 12:48:02
24-Nov-2020 12:48:02 Number of states = 955
24-Nov-2020 12:48:02 Number of distinct rows = 687
24-Nov-2020 12:48:02 Approx. memory size of trans. table = 708984 bytes
24-Nov-2020 12:48:02 mkdir -p /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/ARM
24-Nov-2020 12:48:02 mlton -mlb-path-var 'L4V_ARCH ARM' -output /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/ARM/c-parser /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/c-parser.mlb
24-Nov-2020 12:48:07 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Expr.ML 234.5.
24-Nov-2020 12:48:07 Case has redundant rules.
24-Nov-2020 12:48:07 rules: _ => "[whoa! Unknown expr type]"
24-Nov-2020 12:48:07 in: case enode e of (BinOp _) => "Bin ... Unknown expr type]"
24-Nov-2020 12:48:07 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Expr.ML 452.7.
24-Nov-2020 12:48:07 Case has redundant rules.
24-Nov-2020 12:48:07 rules: _ => raise (Fail ("constify_abtyp ... tyname0 (K "") ty))
24-Nov-2020 12:48:07 in: case ty of (Array (ty0, SOME sz)) ... tyname0 (K "") ty)))
24-Nov-2020 12:48:07 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Serial.ML 56.5.
24-Nov-2020 12:48:07 Case has redundant rules.
24-Nov-2020 12:48:07 rules: _ => [Q "[whoa! Unknown expr type]"]
24-Nov-2020 12:48:07 in: case enode e of (BinOp (t, e, e2) ... Unknown expr type]"]
24-Nov-2020 12:48:07 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex.sml 14383.47.
24-Nov-2020 12:48:07 Declaration is not exhaustive.
24-Nov-2020 12:48:07 missing pattern: (:: (_, (:: (_, nil)))) | (:: (_, nil)) | nil
24-Nov-2020 12:48:07 in: _ :: nstr :: fstr :: _ = String.tokens Char.isSpace yytext
24-Nov-2020 12:48:07 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex.sml 14369.47.
24-Nov-2020 12:48:07 Declaration is not exhaustive.
24-Nov-2020 12:48:07 missing pattern: (:: (_, (:: (_, nil)))) | (:: (_, nil)) | nil
24-Nov-2020 12:48:07 in: _ :: nstr :: fstr :: _ = String.tokens Char.isSpace yytext
24-Nov-2020 12:48:25 mkdir -p /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/ARM_HYP
24-Nov-2020 12:48:25 mlton -mlb-path-var 'L4V_ARCH ARM_HYP' -output /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/ARM_HYP/c-parser /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/c-parser.mlb
24-Nov-2020 12:48:30 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Expr.ML 234.5.
24-Nov-2020 12:48:30 Case has redundant rules.
24-Nov-2020 12:48:30 rules: _ => "[whoa! Unknown expr type]"
24-Nov-2020 12:48:30 in: case enode e of (BinOp _) => "Bin ... Unknown expr type]"
24-Nov-2020 12:48:30 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Expr.ML 452.7.
24-Nov-2020 12:48:30 Case has redundant rules.
24-Nov-2020 12:48:30 rules: _ => raise (Fail ("constify_abtyp ... tyname0 (K "") ty))
24-Nov-2020 12:48:30 in: case ty of (Array (ty0, SOME sz)) ... tyname0 (K "") ty)))
24-Nov-2020 12:48:30 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Serial.ML 56.5.
24-Nov-2020 12:48:30 Case has redundant rules.
24-Nov-2020 12:48:30 rules: _ => [Q "[whoa! Unknown expr type]"]
24-Nov-2020 12:48:30 in: case enode e of (BinOp (t, e, e2) ... Unknown expr type]"]
24-Nov-2020 12:48:30 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex.sml 14383.47.
24-Nov-2020 12:48:30 Declaration is not exhaustive.
24-Nov-2020 12:48:30 missing pattern: (:: (_, (:: (_, nil)))) | (:: (_, nil)) | nil
24-Nov-2020 12:48:30 in: _ :: nstr :: fstr :: _ = String.tokens Char.isSpace yytext
24-Nov-2020 12:48:30 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex.sml 14369.47.
24-Nov-2020 12:48:30 Declaration is not exhaustive.
24-Nov-2020 12:48:30 missing pattern: (:: (_, (:: (_, nil)))) | (:: (_, nil)) | nil
24-Nov-2020 12:48:30 in: _ :: nstr :: fstr :: _ = String.tokens Char.isSpace yytext
24-Nov-2020 12:48:48 mkdir -p /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/X64
24-Nov-2020 12:48:48 mlton -mlb-path-var 'L4V_ARCH X64' -output /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/X64/c-parser /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/c-parser.mlb
24-Nov-2020 12:48:53 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Expr.ML 234.5.
24-Nov-2020 12:48:53 Case has redundant rules.
24-Nov-2020 12:48:53 rules: _ => "[whoa! Unknown expr type]"
24-Nov-2020 12:48:53 in: case enode e of (BinOp _) => "Bin ... Unknown expr type]"
24-Nov-2020 12:48:53 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Expr.ML 452.7.
24-Nov-2020 12:48:53 Case has redundant rules.
24-Nov-2020 12:48:53 rules: _ => raise (Fail ("constify_abtyp ... tyname0 (K "") ty))
24-Nov-2020 12:48:53 in: case ty of (Array (ty0, SOME sz)) ... tyname0 (K "") ty)))
24-Nov-2020 12:48:53 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Serial.ML 56.5.
24-Nov-2020 12:48:53 Case has redundant rules.
24-Nov-2020 12:48:53 rules: _ => [Q "[whoa! Unknown expr type]"]
24-Nov-2020 12:48:53 in: case enode e of (BinOp (t, e, e2) ... Unknown expr type]"]
24-Nov-2020 12:48:53 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex.sml 14383.47.
24-Nov-2020 12:48:53 Declaration is not exhaustive.
24-Nov-2020 12:48:53 missing pattern: (:: (_, (:: (_, nil)))) | (:: (_, nil)) | nil
24-Nov-2020 12:48:53 in: _ :: nstr :: fstr :: _ = String.tokens Char.isSpace yytext
24-Nov-2020 12:48:53 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex.sml 14369.47.
24-Nov-2020 12:48:53 Declaration is not exhaustive.
24-Nov-2020 12:48:53 missing pattern: (:: (_, (:: (_, nil)))) | (:: (_, nil)) | nil
24-Nov-2020 12:48:53 in: _ :: nstr :: fstr :: _ = String.tokens Char.isSpace yytext
24-Nov-2020 12:49:12 mkdir -p /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/RISCV64
24-Nov-2020 12:49:12 mlton -mlb-path-var 'L4V_ARCH RISCV64' -output /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/RISCV64/c-parser /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/c-parser.mlb
24-Nov-2020 12:49:17 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Expr.ML 234.5.
24-Nov-2020 12:49:17 Case has redundant rules.
24-Nov-2020 12:49:17 rules: _ => "[whoa! Unknown expr type]"
24-Nov-2020 12:49:17 in: case enode e of (BinOp _) => "Bin ... Unknown expr type]"
24-Nov-2020 12:49:17 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Expr.ML 452.7.
24-Nov-2020 12:49:17 Case has redundant rules.
24-Nov-2020 12:49:17 rules: _ => raise (Fail ("constify_abtyp ... tyname0 (K "") ty))
24-Nov-2020 12:49:17 in: case ty of (Array (ty0, SOME sz)) ... tyname0 (K "") ty)))
24-Nov-2020 12:49:17 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Serial.ML 56.5.
24-Nov-2020 12:49:17 Case has redundant rules.
24-Nov-2020 12:49:17 rules: _ => [Q "[whoa! Unknown expr type]"]
24-Nov-2020 12:49:17 in: case enode e of (BinOp (t, e, e2) ... Unknown expr type]"]
24-Nov-2020 12:49:17 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex.sml 14383.47.
24-Nov-2020 12:49:17 Declaration is not exhaustive.
24-Nov-2020 12:49:17 missing pattern: (:: (_, (:: (_, nil)))) | (:: (_, nil)) | nil
24-Nov-2020 12:49:17 in: _ :: nstr :: fstr :: _ = String.tokens Char.isSpace yytext
24-Nov-2020 12:49:17 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex.sml 14369.47.
24-Nov-2020 12:49:17 Declaration is not exhaustive.
24-Nov-2020 12:49:17 missing pattern: (:: (_, (:: (_, nil)))) | (:: (_, nil)) | nil
24-Nov-2020 12:49:17 in: _ :: nstr :: fstr :: _ = String.tokens Char.isSpace yytext
24-Nov-2020 12:49:35 mlton -mlb-path-var 'L4V_ARCH ARM' -output /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/ARM/tokenizer /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/tokenizer.mlb
24-Nov-2020 12:49:38 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Expr.ML 234.5.
24-Nov-2020 12:49:38 Case has redundant rules.
24-Nov-2020 12:49:38 rules: _ => "[whoa! Unknown expr type]"
24-Nov-2020 12:49:38 in: case enode e of (BinOp _) => "Bin ... Unknown expr type]"
24-Nov-2020 12:49:38 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Expr.ML 452.7.
24-Nov-2020 12:49:38 Case has redundant rules.
24-Nov-2020 12:49:38 rules: _ => raise (Fail ("constify_abtyp ... tyname0 (K "") ty))
24-Nov-2020 12:49:38 in: case ty of (Array (ty0, SOME sz)) ... tyname0 (K "") ty)))
24-Nov-2020 12:49:38 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex.sml 14383.47.
24-Nov-2020 12:49:38 Declaration is not exhaustive.
24-Nov-2020 12:49:38 missing pattern: (:: (_, (:: (_, nil)))) | (:: (_, nil)) | nil
24-Nov-2020 12:49:38 in: _ :: nstr :: fstr :: _ = String.tokens Char.isSpace yytext
24-Nov-2020 12:49:38 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex.sml 14369.47.
24-Nov-2020 12:49:38 Declaration is not exhaustive.
24-Nov-2020 12:49:38 missing pattern: (:: (_, (:: (_, nil)))) | (:: (_, nil)) | nil
24-Nov-2020 12:49:38 in: _ :: nstr :: fstr :: _ = String.tokens Char.isSpace yytext
24-Nov-2020 12:49:42 mlton -mlb-path-var 'L4V_ARCH ARM_HYP' -output /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/ARM_HYP/tokenizer /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/tokenizer.mlb
24-Nov-2020 12:49:46 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Expr.ML 234.5.
24-Nov-2020 12:49:46 Case has redundant rules.
24-Nov-2020 12:49:46 rules: _ => "[whoa! Unknown expr type]"
24-Nov-2020 12:49:46 in: case enode e of (BinOp _) => "Bin ... Unknown expr type]"
24-Nov-2020 12:49:46 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Expr.ML 452.7.
24-Nov-2020 12:49:46 Case has redundant rules.
24-Nov-2020 12:49:46 rules: _ => raise (Fail ("constify_abtyp ... tyname0 (K "") ty))
24-Nov-2020 12:49:46 in: case ty of (Array (ty0, SOME sz)) ... tyname0 (K "") ty)))
24-Nov-2020 12:49:46 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex.sml 14383.47.
24-Nov-2020 12:49:46 Declaration is not exhaustive.
24-Nov-2020 12:49:46 missing pattern: (:: (_, (:: (_, nil)))) | (:: (_, nil)) | nil
24-Nov-2020 12:49:46 in: _ :: nstr :: fstr :: _ = String.tokens Char.isSpace yytext
24-Nov-2020 12:49:46 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex.sml 14369.47.
24-Nov-2020 12:49:46 Declaration is not exhaustive.
24-Nov-2020 12:49:46 missing pattern: (:: (_, (:: (_, nil)))) | (:: (_, nil)) | nil
24-Nov-2020 12:49:46 in: _ :: nstr :: fstr :: _ = String.tokens Char.isSpace yytext
24-Nov-2020 12:49:49 mlton -mlb-path-var 'L4V_ARCH X64' -output /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/X64/tokenizer /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/tokenizer.mlb
24-Nov-2020 12:49:53 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Expr.ML 234.5.
24-Nov-2020 12:49:53 Case has redundant rules.
24-Nov-2020 12:49:53 rules: _ => "[whoa! Unknown expr type]"
24-Nov-2020 12:49:53 in: case enode e of (BinOp _) => "Bin ... Unknown expr type]"
24-Nov-2020 12:49:53 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Expr.ML 452.7.
24-Nov-2020 12:49:53 Case has redundant rules.
24-Nov-2020 12:49:53 rules: _ => raise (Fail ("constify_abtyp ... tyname0 (K "") ty))
24-Nov-2020 12:49:53 in: case ty of (Array (ty0, SOME sz)) ... tyname0 (K "") ty)))
24-Nov-2020 12:49:53 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex.sml 14383.47.
24-Nov-2020 12:49:53 Declaration is not exhaustive.
24-Nov-2020 12:49:53 missing pattern: (:: (_, (:: (_, nil)))) | (:: (_, nil)) | nil
24-Nov-2020 12:49:53 in: _ :: nstr :: fstr :: _ = String.tokens Char.isSpace yytext
24-Nov-2020 12:49:53 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex.sml 14369.47.
24-Nov-2020 12:49:53 Declaration is not exhaustive.
24-Nov-2020 12:49:53 missing pattern: (:: (_, (:: (_, nil)))) | (:: (_, nil)) | nil
24-Nov-2020 12:49:53 in: _ :: nstr :: fstr :: _ = String.tokens Char.isSpace yytext
24-Nov-2020 12:49:57 mlton -mlb-path-var 'L4V_ARCH RISCV64' -output /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/RISCV64/tokenizer /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/standalone-parser/tokenizer.mlb
24-Nov-2020 12:50:00 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Expr.ML 234.5.
24-Nov-2020 12:50:00 Case has redundant rules.
24-Nov-2020 12:50:00 rules: _ => "[whoa! Unknown expr type]"
24-Nov-2020 12:50:00 in: case enode e of (BinOp _) => "Bin ... Unknown expr type]"
24-Nov-2020 12:50:00 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/Absyn-Expr.ML 452.7.
24-Nov-2020 12:50:00 Case has redundant rules.
24-Nov-2020 12:50:00 rules: _ => raise (Fail ("constify_abtyp ... tyname0 (K "") ty))
24-Nov-2020 12:50:00 in: case ty of (Array (ty0, SOME sz)) ... tyname0 (K "") ty)))
24-Nov-2020 12:50:00 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex.sml 14383.47.
24-Nov-2020 12:50:00 Declaration is not exhaustive.
24-Nov-2020 12:50:00 missing pattern: (:: (_, (:: (_, nil)))) | (:: (_, nil)) | nil
24-Nov-2020 12:50:00 in: _ :: nstr :: fstr :: _ = String.tokens Char.isSpace yytext
24-Nov-2020 12:50:00 Warning: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser/StrictC.lex.sml 14369.47.
24-Nov-2020 12:50:00 Declaration is not exhaustive.
24-Nov-2020 12:50:00 missing pattern: (:: (_, (:: (_, nil)))) | (:: (_, nil)) | nil
24-Nov-2020 12:50:00 in: _ :: nstr :: fstr :: _ = String.tokens Char.isSpace yytext
24-Nov-2020 12:50:04 make: Leaving directory '/home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/tools/c-parser'
24-Nov-2020 12:50:06 make: Entering directory '/home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/spec/cspec/c'
24-Nov-2020 12:50:06 rm -rf build/RISCV64
24-Nov-2020 12:50:06 mkdir -p build/RISCV64
24-Nov-2020 12:50:06 cd build/RISCV64 && \
24-Nov-2020 12:50:06 cmake -C /tmp/munge-seL4.QiJA61At/sel4-clone/configs/RISCV64_verified.cmake \
24-Nov-2020 12:50:06 loading initial cache file /tmp/munge-seL4.QiJA61At/sel4-clone/configs/RISCV64_verified.cmake
24-Nov-2020 12:50:06 -- The C compiler identification is GNU 10.2.0
24-Nov-2020 12:50:06 -- The ASM compiler identification is GNU
24-Nov-2020 12:50:06 -- Found assembler: /opt/riscv/bin/riscv64-unknown-linux-gnu-gcc
24-Nov-2020 12:50:06 -- Check for working C compiler: /opt/riscv/bin/riscv64-unknown-linux-gnu-gcc
24-Nov-2020 12:50:06 -- Check for working C compiler: /opt/riscv/bin/riscv64-unknown-linux-gnu-gcc -- works
24-Nov-2020 12:50:06 -- Detecting C compiler ABI info
24-Nov-2020 12:50:06 -- Detecting C compiler ABI info - done
24-Nov-2020 12:50:06 -- Detecting C compile features
24-Nov-2020 12:50:06 -- Detecting C compile features - done
24-Nov-2020 12:50:06 -- /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/spec/cspec/c/build/RISCV64/gen_headers/plat/machine/devices_gen.h is out of date. Regenerating...
24-Nov-2020 12:50:06 WARNING:root:Only mapping 4096/67108864 bytes from node /soc/interrupt-controller@c000000, region 0. Set kernel_size in YAML to silence.
24-Nov-2020 12:50:06 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@0/interrupt-controller"
24-Nov-2020 12:50:06 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@1/interrupt-controller"
24-Nov-2020 12:50:06 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@1/interrupt-controller"
24-Nov-2020 12:50:06 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@2/interrupt-controller"
24-Nov-2020 12:50:06 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@2/interrupt-controller"
24-Nov-2020 12:50:06 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@3/interrupt-controller"
24-Nov-2020 12:50:06 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@3/interrupt-controller"
24-Nov-2020 12:50:06 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@4/interrupt-controller"
24-Nov-2020 12:50:06 WARNING:root:Not sure how to parse interrupts for "/cpus/cpu@4/interrupt-controller"
24-Nov-2020 12:50:06 interrupts for device /soc/interrupt-controller@c000000
24-Nov-2020 12:50:06 -- Configuring done
24-Nov-2020 12:50:06 -- Generating done
24-Nov-2020 12:50:06 -- Build files have been written to: /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/spec/cspec/c/build/RISCV64
24-Nov-2020 12:50:06 touch build/RISCV64/.cmake_done
24-Nov-2020 12:50:06 cd build/RISCV64 && ninja kernel_all_pp_wrapper
24-Nov-2020 12:50:06 [1/21] Generate dummy headers for prune compilation
24-Nov-2020 12:50:07 [2/21] Generate invocation header gen_headers/arch/api/sel4_invocation.h
24-Nov-2020 12:50:07 [3/21] Generate invocation header gen_headers/api/invocation.h
24-Nov-2020 12:50:07 [4/21] Generate invocation header gen_headers/arch/api/invocation.h
24-Nov-2020 12:50:07 [5/21] Concatenating C files
24-Nov-2020 12:50:07 [6/21] Generate syscall invocations
24-Nov-2020 12:50:07 [7/21] Creating C input file for preprocessor
24-Nov-2020 12:50:07 [8/21] Creating C input file for preprocessor
24-Nov-2020 12:50:07 [9/21] Building C object CMakeFiles/kernel_bf_gen_target_1_pbf_temp_lib.dir/kernel_bf_gen_target_1_pbf_temp.c.obj
24-Nov-2020 12:50:07 [10/21] Generating generated/arch/object/structures.bf.pbf
24-Nov-2020 12:50:07 [11/21] Building C object CMakeFiles/kernel_all_pp_prune_wrapper_temp_lib.dir/kernel_all_pp_prune_wrapper_temp.c.obj
24-Nov-2020 12:50:07 [12/21] Generating kernel_all_pp_prune.c
24-Nov-2020 12:50:07 [13/21] Generating from generated/arch/object/structures.bf.pbf
24-Nov-2020 12:50:07 [14/21] Creating C input file for preprocessor
24-Nov-2020 12:50:07 [15/21] Building C object CMakeFiles/kernel_bf_gen_target_11_pbf_temp_lib.dir/kernel_bf_gen_target_11_pbf_temp.c.obj
24-Nov-2020 12:50:07 [16/21] Generating generated/sel4/shared_types.bf.pbf
24-Nov-2020 12:50:07 [17/21] Generating from generated/sel4/shared_types.bf.pbf
24-Nov-2020 12:50:07 [18/21] Creating C input file for preprocessor
24-Nov-2020 12:50:07 [19/21] Building C object CMakeFiles/kernel_i_wrapper_temp_lib.dir/kernel_all_copy.c.obj
24-Nov-2020 12:50:07 [20/21] Generating kernel_all.i
24-Nov-2020 12:50:07 [21/21] Generating kernel_all_pp.c
24-Nov-2020 12:50:07 cp -a build/RISCV64/kernel_all_pp.c build/RISCV64/kernel_all.c_pp
24-Nov-2020 12:50:07 make: Leaving directory '/home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS/verification/l4v/spec/cspec/c'
24-Nov-2020 12:50:09 [0;31m[0;31m
24-Nov-2020 12:50:09 #################################
24-Nov-2020 12:50:09 # Some symbols have changed #
24-Nov-2020 12:50:09 #################################
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09 [0;33mSymbols diff:[0m
24-Nov-2020 12:50:09 @@ -1442,7 +1442,6 @@
24-Nov-2020 12:50:09 C variable 'n' declared in function 'memset' -> Isabelle state field 'n___unsigned_long' with abbreviation 'n'
24-Nov-2020 12:50:09 C variable 'n' declared in function 'memzero' -> Isabelle state field 'n___unsigned_long' with abbreviation 'n'
24-Nov-2020 12:50:09 C variable 'n' declared in function 'reduceZombie' -> Isabelle state field 'n___unsigned_long' with abbreviation 'n'
24-Nov-2020 12:50:09 -C variable 'n' declared in function 'riscv_read_cycle' -> Isabelle state field 'n___unsigned_longlong' with no abbreviation
24-Nov-2020 12:50:09 C variable 'n' declared in function 'riscv_read_time' -> Isabelle state field 'n___unsigned_longlong' with no abbreviation
24-Nov-2020 12:50:09 C variable 'n' declared in function 'strncmp' -> Isabelle state field 'n___int' with no abbreviation
24-Nov-2020 12:50:09 C variable 'ndks_boot' declared globally -> Isabelle state field 'ndks_boot' with no abbreviation
24-Nov-2020 12:50:09 @@ -2847,7 +2846,6 @@
24-Nov-2020 12:50:09 C variable 'ret__unsigned_longlong' declared in function 'pte_ptr_get_read' -> Isabelle state field 'ret__unsigned_longlong' with no abbreviation
24-Nov-2020 12:50:09 C variable 'ret__unsigned_longlong' declared in function 'pte_ptr_get_valid' -> Isabelle state field 'ret__unsigned_longlong' with no abbreviation
24-Nov-2020 12:50:09 C variable 'ret__unsigned_longlong' declared in function 'pte_ptr_get_write' -> Isabelle state field 'ret__unsigned_longlong' with no abbreviation
24-Nov-2020 12:50:09 -C variable 'ret__unsigned_longlong' declared in function 'riscv_read_cycle' -> Isabelle state field 'ret__unsigned_longlong' with no abbreviation
24-Nov-2020 12:50:09 C variable 'ret__unsigned_longlong' declared in function 'riscv_read_time' -> Isabelle state field 'ret__unsigned_longlong' with no abbreviation
24-Nov-2020 12:50:09 C variable 'ret__unsigned_longlong' declared in function 'seL4_CapRights_get_capAllowGrant' -> Isabelle state field 'ret__unsigned_longlong' with no abbreviation
24-Nov-2020 12:50:09 C variable 'ret__unsigned_longlong' declared in function 'seL4_CapRights_get_capAllowGrantReply' -> Isabelle state field 'ret__unsigned_longlong' with no abbreviation
24-Nov-2020 12:50:09 @@ -2882,7 +2880,6 @@
24-Nov-2020 12:50:09 C variable 'RISCVGetReadFromVMRights' declared globally -> Isabelle state field 'RISCVGetReadFromVMRights' with no abbreviation
24-Nov-2020 12:50:09 C variable 'RISCVGetWriteFromVMRights' declared globally -> Isabelle state field 'RISCVGetWriteFromVMRights' with no abbreviation
24-Nov-2020 12:50:09 C variable 'riscvKSASIDTable' declared globally -> Isabelle state field 'riscvKSASIDTable' with no abbreviation
24-Nov-2020 12:50:09 -C variable 'riscv_read_cycle' declared globally -> Isabelle state field 'riscv_read_cycle' with no abbreviation
24-Nov-2020 12:50:09 C variable 'riscv_read_time' declared globally -> Isabelle state field 'riscv_read_time' with no abbreviation
24-Nov-2020 12:50:09 C variable 'rootCap' declared in function 'decodeUntypedInvocation' -> Isabelle state field 'rootCap___struct_cap_C' with abbreviation 'rootCap'
24-Nov-2020 12:50:09 C variable 'rootCaps' declared in function 'decodeTCBConfigure' -> Isabelle state field 'rootCaps___struct_extra_caps_C' with abbreviation 'rootCaps'
24-Nov-2020 12:50:09 [0;31m[0;31m
24-Nov-2020 12:50:09 #################################
24-Nov-2020 12:50:09 # The ASTs differ #
24-Nov-2020 12:50:09 #################################
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09 [0m[0;33m
24-Nov-2020 12:50:09 [0m[0;31mFiles kernel_all_1.txt and kernel_all_2.txt differ
24-Nov-2020 12:50:09 [0;31m
24-Nov-2020 12:50:09 #################################
24-Nov-2020 12:50:09 # Something has changed #
24-Nov-2020 12:50:09 #################################
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09 [0m[0;33mkernel_all diff:[0m
24-Nov-2020 12:50:09 @@ -9,17 +9,9 @@
24-Nov-2020 12:50:09 */
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09 /*
24-Nov-2020 12:50:09 - * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
24-Nov-2020 12:50:09 - *
24-Nov-2020 12:50:09 - * SPDX-License-Identifier: GPL-2.0-only
24-Nov-2020 12:50:09 - */
24-Nov-2020 12:50:09 -
24-Nov-2020 12:50:09 -
24-Nov-2020 12:50:09 -
24-Nov-2020 12:50:09 -/*
24-Nov-2020 12:50:09 * Copyright 2014, General Dynamics C4 Systems
24-Nov-2020 12:50:09 *
24-Nov-2020 12:50:09 - * SPDX-License-Identifier: BSD-2-Clause
24-Nov-2020 12:50:09 + * SPDX-License-Identifier: GPL-2.0-only
24-Nov-2020 12:50:09 */
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09 @@ -101,7 +93,6 @@
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09 /* Alias CONFIG_MAX_NUM_NODES > 1 to ENABLE_SMP_SUPPORT */
24-Nov-2020 12:50:09 -/* Configurations requring the kernel log buffer */
24-Nov-2020 12:50:09 /*
24-Nov-2020 12:50:09 * Copyright 2014, General Dynamics C4 Systems
24-Nov-2020 12:50:09 *
24-Nov-2020 12:50:09 @@ -331,8 +322,6 @@
24-Nov-2020 12:50:09 typedef paddr_t seL4_PAddr;
24-Nov-2020 12:50:09 typedef dom_t seL4_Domain;
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09 -typedef uint64_t timestamp_t;
24-Nov-2020 12:50:09 -
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09 typedef struct kernel_frame {
24-Nov-2020 12:50:09 @@ -3224,15 +3213,6 @@
24-Nov-2020 12:50:09 return n;
24-Nov-2020 12:50:09 }
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09 -static inline uint64_t riscv_read_cycle(void)
24-Nov-2020 12:50:09 -{
24-Nov-2020 12:50:09 - uint64_t n;
24-Nov-2020 12:50:09 - __asm__ volatile(
24-Nov-2020 12:50:09 - "rdcycle %0"
24-Nov-2020 12:50:09 - : "=r"(n));
24-Nov-2020 12:50:09 - return n;
24-Nov-2020 12:50:09 -}
24-Nov-2020 12:50:09 -
24-Nov-2020 12:50:09 /* Privileged CSR definitions */
24-Nov-2020 12:50:09 /*
24-Nov-2020 12:50:09 * Copyright 2014, General Dynamics C4 Systems
24-Nov-2020 12:50:09 @@ -5777,7 +5757,6 @@
24-Nov-2020 12:50:09 */
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09 -
24-Nov-2020 12:50:09 /*
24-Nov-2020 12:50:09 * Copyright 2014, General Dynamics C4 Systems
24-Nov-2020 12:50:09 *
24-Nov-2020 12:50:09
24-Nov-2020 12:50:09 [0;31mPreprocess test FAILED.[0m
24-Nov-2020 12:50:09 Failing task since return code of [/tmp/runInDocker2113512277457521363.sh /home/bamboo/bamboo-agent-home/temp/SEL4-PFP1226-RISCV64PREPROCESS-2-ScriptBuildTask-8873144801304523612.sh] was 1 while expected 0
24-Nov-2020 12:50:09 Finished task 'Do the munge' with result: Failed
24-Nov-2020 12:50:09 Starting task 'Set permissions so Bamboo can cleanup' of type 'com.atlassian.bamboo.plugins.scripttask:task.builder.script'
24-Nov-2020 12:50:10 + chmod -R o+rwx /home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS
24-Nov-2020 12:50:10 Finished task 'Set permissions so Bamboo can cleanup' with result: Success
24-Nov-2020 12:50:10 Running post build plugin 'Docker Container Cleanup'
24-Nov-2020 12:50:10 Running post build plugin 'NCover Results Collector'
24-Nov-2020 12:50:10 Running post build plugin 'Clover Results Collector'
24-Nov-2020 12:50:10 Running post build plugin 'npm Cache Cleanup'
24-Nov-2020 12:50:10 Running post build plugin 'Artifact Copier'
24-Nov-2020 12:50:10 Publishing an artifact: Munge files
24-Nov-2020 12:50:10 Finished publishing of artifact Non required job artifact: [Munge files], pattern: [*.txt] in 245.9 ms
24-Nov-2020 12:50:10 Successfully removed working directory at '/home/bamboo/bamboo-agent-home/xml-data/build-dir/SEL4-PFP1226-RISCV64PREPROCESS'
24-Nov-2020 12:50:10 Finalising the build...
24-Nov-2020 12:50:10 Stopping timer.
24-Nov-2020 12:50:10 Build SEL4-PFP1226-RISCV64PREPROCESS-2 completed.
24-Nov-2020 12:50:11 9bf22534-d7da-4366-a790-6f8a42c281b4186124069
24-Nov-2020 12:50:11 Running on server: post build plugin 'NCover Results Collector'
24-Nov-2020 12:50:11 Running on server: post build plugin 'Build Hanging Detection Configuration'
24-Nov-2020 12:50:11 Running on server: post build plugin 'Clover Delta Calculator'
24-Nov-2020 12:50:11 Running on server: post build plugin 'Maven Dependencies Postprocessor'
24-Nov-2020 12:50:11 All post build plugins have finished
24-Nov-2020 12:50:11 Generating build results summary...
24-Nov-2020 12:50:11 Saving build results to disk...
24-Nov-2020 12:50:11 Store variable context...
24-Nov-2020 12:50:11 Indexing build results...
24-Nov-2020 12:50:11 Finished building SEL4-PFP1226-RISCV64PREPROCESS-2.
This is the most I can report on right now, sorry!
Hello, I'm a bot! I'll bring this PR into Trustworthy Systems and run some tests
@wom-bat: is there still a plan to merge this platform or is the project on hold? This PR could be marked as draft if it's inactive to clean up the backlog a bit.
@wom-bat What is the plan for this PR? Are you planning to get this merged or is this dead?
