Skip to content
CI

Remove dependence of C softfloat code on Sail model. #629

Sign in to view logs

Remove dependence of C softfloat code on Sail model.

Remove dependence of C softfloat code on Sail model. #629

Triggered via pull request November 7, 2023 16:48
@TimmmmTimmmm
opened #340
Timmmm:user/timh/softfloat_2
Status Failure
Total duration 55m 44s
Artifacts 2

compile.yml

on: pull_request
build
55m 33s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error, 317 warnings, and 1 notice
build
Process completed with exit code 1.
build
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Building 32-bit RISCV OCaml emulator failed: /#L0
tests.xml
OCaml-32 rv32mi-p-breakpoint.elf failed: /#L0
tests.xml
OCaml-32 rv32mi-p-csr.elf failed: /#L0
tests.xml
OCaml-32 rv32mi-p-illegal.elf failed: /#L0
tests.xml
OCaml-32 rv32mi-p-ma_addr.elf failed: /#L0
tests.xml
OCaml-32 rv32mi-p-ma_fetch.elf failed: /#L0
tests.xml
OCaml-32 rv32mi-p-mcsr.elf failed: /#L0
tests.xml
OCaml-32 rv32mi-p-sbreak.elf failed: /#L0
tests.xml
OCaml-32 rv32mi-p-scall.elf failed: /#L0
tests.xml
OCaml-32 rv32mi-p-shamt.elf failed: /#L0
tests.xml
OCaml-32 rv32si-p-csr.elf failed: /#L0
tests.xml
OCaml-32 rv32si-p-dirty.elf failed: /#L0
tests.xml
OCaml-32 rv32si-p-ma_fetch.elf failed: /#L0
tests.xml
OCaml-32 rv32si-p-sbreak.elf failed: /#L0
tests.xml
OCaml-32 rv32si-p-scall.elf failed: /#L0
tests.xml
OCaml-32 rv32si-p-wfi.elf failed: /#L0
tests.xml
OCaml-32 rv32ua-p-amoadd_w.elf failed: /#L0
tests.xml
OCaml-32 rv32ua-p-amoand_w.elf failed: /#L0
tests.xml
OCaml-32 rv32ua-p-amomax_w.elf failed: /#L0
tests.xml
OCaml-32 rv32ua-p-amomaxu_w.elf failed: /#L0
tests.xml
OCaml-32 rv32ua-p-amomin_w.elf failed: /#L0
tests.xml
OCaml-32 rv32ua-p-amominu_w.elf failed: /#L0
tests.xml
OCaml-32 rv32ua-p-amoor_w.elf failed: /#L0
tests.xml
OCaml-32 rv32ua-p-amoswap_w.elf failed: /#L0
tests.xml
OCaml-32 rv32ua-p-amoxor_w.elf failed: /#L0
tests.xml
OCaml-32 rv32ua-p-lrsc.elf failed: /#L0
tests.xml
OCaml-32 rv32ua-v-amoadd_w.elf failed: /#L0
tests.xml
OCaml-32 rv32ua-v-amoand_w.elf failed: /#L0
tests.xml
OCaml-32 rv32ua-v-amomax_w.elf failed: /#L0
tests.xml
OCaml-32 rv32ua-v-amomaxu_w.elf failed: /#L0
tests.xml
OCaml-32 rv32ua-v-amomin_w.elf failed: /#L0
tests.xml
OCaml-32 rv32ua-v-amominu_w.elf failed: /#L0
tests.xml
OCaml-32 rv32ua-v-amoor_w.elf failed: /#L0
tests.xml
OCaml-32 rv32ua-v-amoswap_w.elf failed: /#L0
tests.xml
OCaml-32 rv32ua-v-amoxor_w.elf failed: /#L0
tests.xml
OCaml-32 rv32ua-v-lrsc.elf failed: /#L0
tests.xml
OCaml-32 rv32uc-p-rvc.elf failed: /#L0
tests.xml
OCaml-32 rv32uc-v-rvc.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-add.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-addi.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-and.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-andi.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-auipc.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-beq.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-bge.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-bgeu.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-blt.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-bltu.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-bne.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-fence_i.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-jal.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-jalr.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-lb.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-lbu.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-lh.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-lhu.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-lui.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-lw.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-or.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-ori.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-sb.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-sh.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-simple.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-sll.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-slli.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-slt.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-slti.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-sltiu.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-sltu.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-sra.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-srai.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-srl.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-srli.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-sub.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-sw.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-xor.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-p-xori.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-add.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-addi.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-and.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-andi.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-auipc.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-beq.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-bge.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-bgeu.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-blt.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-bltu.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-bne.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-fence_i.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-jal.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-jalr.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-lb.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-lbu.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-lh.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-lhu.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-lui.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-lw.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-or.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-ori.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-sb.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-sh.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-simple.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-sll.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-slli.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-slt.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-slti.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-sltiu.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-sltu.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-sra.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-srai.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-srl.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-srli.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-sub.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-sw.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-xor.elf failed: /#L0
tests.xml
OCaml-32 rv32ui-v-xori.elf failed: /#L0
tests.xml
OCaml-32 rv32um-p-div.elf failed: /#L0
tests.xml
OCaml-32 rv32um-p-divu.elf failed: /#L0
tests.xml
OCaml-32 rv32um-p-mul.elf failed: /#L0
tests.xml
OCaml-32 rv32um-p-mulh.elf failed: /#L0
tests.xml
OCaml-32 rv32um-p-mulhsu.elf failed: /#L0
tests.xml
OCaml-32 rv32um-p-mulhu.elf failed: /#L0
tests.xml
OCaml-32 rv32um-p-rem.elf failed: /#L0
tests.xml
OCaml-32 rv32um-p-remu.elf failed: /#L0
tests.xml
OCaml-32 rv32um-v-div.elf failed: /#L0
tests.xml
OCaml-32 rv32um-v-divu.elf failed: /#L0
tests.xml
OCaml-32 rv32um-v-mul.elf failed: /#L0
tests.xml
OCaml-32 rv32um-v-mulh.elf failed: /#L0
tests.xml
OCaml-32 rv32um-v-mulhsu.elf failed: /#L0
tests.xml
OCaml-32 rv32um-v-mulhu.elf failed: /#L0
tests.xml
OCaml-32 rv32um-v-rem.elf failed: /#L0
tests.xml
OCaml-32 rv32um-v-remu.elf failed: /#L0
tests.xml
Building 64-bit RISCV OCaml emulator failed: /#L0
tests.xml
OCaml-64 rv64mi-p-access.elf failed: /#L0
tests.xml
OCaml-64 rv64mi-p-breakpoint.elf failed: /#L0
tests.xml
OCaml-64 rv64mi-p-csr.elf failed: /#L0
tests.xml
OCaml-64 rv64mi-p-illegal.elf failed: /#L0
tests.xml
OCaml-64 rv64mi-p-ma_addr.elf failed: /#L0
tests.xml
OCaml-64 rv64mi-p-ma_fetch.elf failed: /#L0
tests.xml
OCaml-64 rv64mi-p-mcsr.elf failed: /#L0
tests.xml
OCaml-64 rv64mi-p-sbreak.elf failed: /#L0
tests.xml
OCaml-64 rv64mi-p-scall.elf failed: /#L0
tests.xml
OCaml-64 rv64si-p-csr.elf failed: /#L0
tests.xml
OCaml-64 rv64si-p-dirty.elf failed: /#L0
tests.xml
OCaml-64 rv64si-p-ma_fetch.elf failed: /#L0
tests.xml
OCaml-64 rv64si-p-sbreak.elf failed: /#L0
tests.xml
OCaml-64 rv64si-p-scall.elf failed: /#L0
tests.xml
OCaml-64 rv64si-p-wfi.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-p-amoadd_d.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-p-amoadd_w.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-p-amoand_d.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-p-amoand_w.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-p-amomax_d.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-p-amomax_w.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-p-amomaxu_d.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-p-amomaxu_w.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-p-amomin_d.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-p-amomin_w.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-p-amominu_d.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-p-amominu_w.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-p-amoor_d.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-p-amoor_w.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-p-amoswap_d.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-p-amoswap_w.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-p-amoxor_d.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-p-amoxor_w.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-p-lrsc.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-v-amoadd_d.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-v-amoadd_w.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-v-amoand_d.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-v-amoand_w.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-v-amomax_d.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-v-amomax_w.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-v-amomaxu_d.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-v-amomaxu_w.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-v-amomin_d.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-v-amomin_w.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-v-amominu_d.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-v-amominu_w.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-v-amoor_d.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-v-amoor_w.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-v-amoswap_d.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-v-amoswap_w.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-v-amoxor_d.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-v-amoxor_w.elf failed: /#L0
tests.xml
OCaml-64 rv64ua-v-lrsc.elf failed: /#L0
tests.xml
OCaml-64 rv64uc-p-rvc.elf failed: /#L0
tests.xml
OCaml-64 rv64uc-v-rvc.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-add.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-addi.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-addiw.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-addw.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-and.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-andi.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-auipc.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-beq.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-bge.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-bgeu.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-blt.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-bltu.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-bne.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-fence_i.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-jal.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-jalr.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-lb.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-lbu.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-ld.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-lh.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-lhu.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-lui.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-lw.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-lwu.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-or.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-ori.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-sb.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-sd.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-sh.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-simple.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-sll.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-slli.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-slliw.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-sllw.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-slt.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-slti.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-sltiu.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-sltu.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-sra.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-srai.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-sraiw.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-sraw.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-srl.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-srli.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-srliw.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-srlw.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-sub.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-subw.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-sw.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-xor.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-p-xori.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-add.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-addi.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-addiw.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-addw.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-and.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-andi.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-auipc.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-beq.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-bge.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-bgeu.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-blt.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-bltu.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-bne.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-fence_i.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-jal.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-jalr.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-lb.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-lbu.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-ld.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-lh.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-lhu.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-lui.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-lw.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-lwu.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-or.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-ori.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-sb.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-sd.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-sh.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-simple.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-sll.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-slli.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-slliw.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-sllw.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-slt.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-slti.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-sltiu.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-sltu.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-sra.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-srai.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-sraiw.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-sraw.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-srl.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-srli.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-srliw.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-srlw.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-sub.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-subw.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-sw.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-xor.elf failed: /#L0
tests.xml
OCaml-64 rv64ui-v-xori.elf failed: /#L0
tests.xml
OCaml-64 rv64um-p-div.elf failed: /#L0
tests.xml
OCaml-64 rv64um-p-divu.elf failed: /#L0
tests.xml
OCaml-64 rv64um-p-divuw.elf failed: /#L0
tests.xml
OCaml-64 rv64um-p-divw.elf failed: /#L0
tests.xml
OCaml-64 rv64um-p-mul.elf failed: /#L0
tests.xml
OCaml-64 rv64um-p-mulh.elf failed: /#L0
tests.xml
OCaml-64 rv64um-p-mulhsu.elf failed: /#L0
tests.xml
OCaml-64 rv64um-p-mulhu.elf failed: /#L0
tests.xml
OCaml-64 rv64um-p-mulw.elf failed: /#L0
tests.xml
OCaml-64 rv64um-p-rem.elf failed: /#L0
tests.xml
OCaml-64 rv64um-p-remu.elf failed: /#L0
tests.xml
OCaml-64 rv64um-p-remuw.elf failed: /#L0
tests.xml
OCaml-64 rv64um-p-remw.elf failed: /#L0
tests.xml
OCaml-64 rv64um-v-div.elf failed: /#L0
tests.xml
OCaml-64 rv64um-v-divu.elf failed: /#L0
tests.xml
OCaml-64 rv64um-v-divuw.elf failed: /#L0
tests.xml
OCaml-64 rv64um-v-divw.elf failed: /#L0
tests.xml
OCaml-64 rv64um-v-mul.elf failed: /#L0
tests.xml
OCaml-64 rv64um-v-mulh.elf failed: /#L0
tests.xml
OCaml-64 rv64um-v-mulhsu.elf failed: /#L0
tests.xml
OCaml-64 rv64um-v-mulhu.elf failed: /#L0
tests.xml
OCaml-64 rv64um-v-mulw.elf failed: /#L0
tests.xml
OCaml-64 rv64um-v-rem.elf failed: /#L0
tests.xml
OCaml-64 rv64um-v-remu.elf failed: /#L0
tests.xml
OCaml-64 rv64um-v-remuw.elf failed: /#L0
tests.xml
OCaml-64 rv64um-v-remw.elf failed: /#L0
tests.xml
712 tests found
There are 712 tests, see "Raw output" for the full list of tests.

Artifacts

Produced during runtime
Name Size
event.json Expired
27 KB
tests.xml Expired
53 KB