[rtl] switch assert to use LTL #232

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Generate test plan	8s
Build VCS Emulators (blastoise)	13s
Build VCS Emulators (machamp)	12s
Build VCS Emulators (psyduck)	12s
Build VCS Emulators (sandslash)	14s
Prepare for running testcases	7s
Run VCS (blastoise,rvv_bench.utf8_count;blastoise,pytorch.demo;psyduck,codegen.vwsub_wx;psyduck,c...	33s
Run VCS (sandslash,codegen.vslide1down_vx;psyduck,codegen.vfsgnjn_vv;psyduck,codegen.vwsub_wv;psy...	34s
Run VCS (sandslash,codegen.vslidedown_vx;psyduck,codegen.vnsra_wx;psyduck,codegen.vmsleu_vi;psydu...	33s
Run VCS (sandslash,codegen.vslide1up_vx;psyduck,codegen.vl4re8_v;psyduck,codegen.vredsum_vs;psydu...	33s
Run VCS (sandslash,codegen.vslideup_vx;psyduck,codegen.vnsrl_wi;psyduck,codegen.vfmv_v_f;psyduck,...	34s
Run VCS (machamp,rvv_bench.utf8_count;psyduck,codegen.vmadc_vim;psyduck,rvv_bench.poly1305;psyduc...	34s
Run VCS (sandslash,rvv_bench.utf8_count;psyduck,codegen.vror_vi;psyduck,codegen.vssra_vv;psyduck,...	34s
Run VCS (sandslash,codegen.vslidedown_vi;psyduck,codegen.vssrl_vx;psyduck,codegen.vror_vx;psyduck...	33s
Run VCS (sandslash,codegen.vslideup_vi;psyduck,codegen.vmor_mm;psyduck,mlir.hello;psyduck,codegen...	34s
Run VCS (blastoise,rvv_bench.mandelbrot;psyduck,codegen.vasubu_vx;psyduck,codegen.vwmaccus_vx;psy...	34s
Run VCS (sandslash,rvv_bench.byteswap;psyduck,codegen.vfmsub_vv;psyduck,codegen.vsse16_v;psyduck,...	33s
Run VCS (blastoise,rvv_bench.byteswap;psyduck,codegen.vsuxseg3ei32_v;psyduck,codegen.vnmsub_vv;ps...	33s
Run VCS (blastoise,rvv_bench.mergelines;psyduck,codegen.vslideup_vi;psyduck,codegen.vsaddu_vi;psy...	34s
Run VCS (machamp,rvv_bench.byteswap;psyduck,codegen.vmul_vx;psyduck,codegen.vsaddu_vv;psyduck,cod...	33s
Run VCS (machamp,rvv_bench.mergelines;psyduck,codegen.vluxei32_v;psyduck,codegen.vsseg3e8_v;psydu...	33s
Run VCS (sandslash,rvv_bench.mergelines;psyduck,codegen.vsmul_vx;psyduck,codegen.vle16_v;psyduck,...	33s
Run VCS (blastoise,rvv_bench.memcpy;psyduck,codegen.vlsseg3e32_v;psyduck,codegen.vsuxseg5ei32_v;p...	34s
Run VCS (machamp,rvv_bench.memcpy;machamp,codegen.vloxseg2ei16_v;machamp,codegen.vdivu_vv;machamp...	1m 18s
Run VCS (sandslash,rvv_bench.memcpy;machamp,codegen.vsaddu_vx;machamp,codegen.vwmulsu_vx;machamp,...	1m 30s
Run VCS (machamp,codegen.vslide1down_vx;blastoise,codegen.vand_vx;sandslash,codegen.vloxseg2ei32_...	1m 28s
Run VCS (machamp,codegen.vslidedown_vx;sandslash,codegen.vmerge_vxm;blastoise,codegen.vwmaccu_vx;...	1m 30s
Run VCS (machamp,codegen.vslide1up_vx;machamp,codegen.vlse16_v;blastoise,codegen.vssseg7e8_v;blas...	1m 28s
Run VCS (machamp,codegen.vslideup_vx;blastoise,codegen.vssseg2e8_v;machamp,codegen.vssseg4e16_v;m...	1m 30s
Run VCS (blastoise,rvv_bench.ascii_to_utf16;blastoise,codegen.vnmsac_vx;sandslash,codegen.vwaddu_...	1m 31s
Run VCS (machamp,rvv_bench.ascii_to_utf16;machamp,codegen.vmsgt_vi;blastoise,codegen.vmsle_vi;bla...	1m 34s
Run VCS (sandslash,rvv_bench.ascii_to_utf16;sandslash,codegen.vsra_vi;machamp,codegen.vmulh_vx;ma...	1m 35s
Run VCS (machamp,codegen.vslidedown_vi;blastoise,codegen.vfredmax_vs;machamp,codegen.vssseg4e8_v;...	1m 42s
Run VCS (machamp,codegen.vslideup_vi;blastoise,codegen.vfredusum_vs;sandslash,codegen.vlsseg5e16_...	1m 44s
Run VCS (blastoise,rvv_bench.strlen;sandslash,codegen.vlse16_v;sandslash,codegen.vsoxseg8ei8_v;ma...	1m 48s
Run VCS (blastoise,codegen.vslide1down_vx;blastoise,codegen.vnclipu_wx;sandslash,codegen.vssra_vv...	1m 41s
Run VCS (blastoise,codegen.vslidedown_vx;machamp,codegen.vnclip_wx;sandslash,codegen.vsoxseg4ei8_...	1m 47s
Run VCS (blastoise,codegen.vslide1up_vx;blastoise,codegen.vdivu_vx;sandslash,codegen.vlsseg7e16_v...	1m 45s
Run VCS (blastoise,codegen.vslideup_vx;machamp,codegen.vdiv_vx;sandslash,codegen.vsuxseg8ei8_v;sa...	1m 46s
Run VCS (sandslash,codegen.vssrl_vx;sandslash,codegen.vmsgt_vx;sandslash,codegen.vlsseg8e16_v;mac...	1m 47s
Run VCS (sandslash,codegen.vssra_vx;sandslash,codegen.vmsle_vx;sandslash,codegen.vsoxseg2ei8_v;ma...	1m 51s
Run VCS (sandslash,rvv_bench.strlen;sandslash,codegen.vssseg3e8_v;sandslash,codegen.vsoxei8_v;mac...	1m 48s
Run VCS (machamp,rvv_bench.strlen;blastoise,codegen.vasubu_vx;sandslash,codegen.vmsne_vi;sandslas...	1m 49s
Run VCS (blastoise,rvv_bench.ascii_to_utf32;blastoise,codegen.vasub_vx;sandslash,codegen.vloxei8_...	1m 58s
Run VCS (blastoise,codegen.vfrdiv_vf;blastoise,codegen.vsmul_vx;sandslash,codegen.vlsseg4e16_v;ma...	1m 48s
Run VCS (blastoise,codegen.vfdiv_vf;machamp,codegen.vsmul_vx;sandslash,codegen.vlsseg2e16_v;sands...	2m 5s
Run VCS (sandslash,codegen.vrgather_vv;sandslash,codegen.vlsseg5e8_v;sandslash,codegen.viota_m;sa...	1m 51s
Run VCS (machamp,rvv_bench.ascii_to_utf32;sandslash,codegen.vssseg6e8_v;blastoise,codegen.vfmerge...	1m 49s
Run VCS (blastoise,codegen.vslidedown_vi;blastoise,codegen.vfsgnjx_vf;blastoise,codegen.vdiv_vx;s...	1m 48s
Run VCS (blastoise,codegen.vslideup_vi;blastoise,codegen.vfsgnjn_vf;blastoise,codegen.vrem_vx;san...	1m 48s
Run VCS (sandslash,rvv_bench.ascii_to_utf32;blastoise,codegen.vfsgnj_vf;blastoise,codegen.vremu_v...	1m 45s
Run VCS (blastoise,codegen.vmflt_vf;sandslash,codegen.vssseg7e8_v;blastoise,codegen.vnclip_wx;san...	1m 50s
Run VCS (blastoise,codegen.vmfeq_vf;sandslash,codegen.vlsseg6e8_v;machamp,codegen.vnclipu_wx;sand...	1m 45s
Run VCS (blastoise,codegen.vmfgt_vf;sandslash,codegen.vnclipu_wx;machamp,codegen.vremu_vx;sandsla...	1m 52s
Run VCS (blastoise,codegen.vmfne_vf;sandslash,codegen.vnclip_wx;machamp,codegen.vrem_vx;sandslash...	1m 46s
Run VCS (blastoise,codegen.vmfge_vf;sandslash,codegen.vlsseg3e8_v;machamp,codegen.vdivu_vx;sandsl...	1m 50s
Run VCS (machamp,codegen.vssra_vx;blastoise,codegen.vfmul_vf;sandslash,codegen.vnclip_wi;sandslas...	1m 47s
Run VCS (machamp,codegen.vssrl_vx;sandslash,codegen.vssseg4e8_v;sandslash,codegen.vnclipu_wi;mach...	1m 51s
Run VCS (blastoise,codegen.vssrl_vx;blastoise,codegen.vfmax_vf;sandslash,codegen.vmsltu_vx;blasto...	1m 52s
Run VCS (blastoise,codegen.vssra_vx;blastoise,codegen.vfsub_vf;sandslash,codegen.vmsgtu_vx;blasto...	1m 49s
Run VCS (sandslash,codegen.vrgatherei16_vv;blastoise,codegen.vfrsub_vf;sandslash,codegen.vmslt_vx...	1m 51s
Run VCS (blastoise,rvv_bench.memset;blastoise,codegen.vfmin_vf;sandslash,codegen.vmsleu_vx;sandsl...	1m 54s
Run VCS (sandslash,codegen.vlsseg8e8_v;blastoise,codegen.vfadd_vf;blastoise,codegen.vssra_vi;sand...	1m 53s
Run VCS (blastoise,codegen.vfnmsub_vf;sandslash,codegen.vrem_vx;machamp,rvv_bench.memset;sandslas...	1m 51s
Run VCS (blastoise,codegen.vfmsub_vf;sandslash,codegen.vssseg8e8_v;blastoise,codegen.vssrl_vi;san...	1m 54s
Run VCS (blastoise,codegen.vfnmsac_vf;sandslash,codegen.vaadd_vx;machamp,codegen.vssra_vi;sandsla...	1m 54s
Run VCS (blastoise,codegen.vfnmadd_vf;sandslash,codegen.vasubu_vx;machamp,codegen.vssrl_vi;sandsl...	1m 55s
Run VCS (blastoise,codegen.vfnmacc_vf;sandslash,codegen.vasub_vx;machamp,codegen.vasub_vx;sandsla...	1m 54s
Run VCS (blastoise,codegen.vfmadd_vf;sandslash,codegen.vaaddu_vx;machamp,codegen.vasubu_vx;sandsl...	1m 54s
Run VCS (blastoise,codegen.vfmacc_vf;sandslash,codegen.vssseg2e8_v;blastoise,codegen.vaaddu_vx;sa...	1m 54s
Run VCS (blastoise,codegen.vfmsac_vf;sandslash,codegen.vsse8_v;blastoise,codegen.vaadd_vx;sandsla...	1m 50s
Run VCS (sandslash,codegen.vlsseg2e8_v;sandslash,codegen.vdiv_vx;machamp,codegen.vaaddu_vx;sandsl...	1m 54s
Run VCS (sandslash,codegen.vssrl_vi;sandslash,codegen.vlsseg7e8_v;sandslash,codegen.vssseg5e8_v;m...	1m 31s
Run VCS (sandslash,codegen.vssra_vi;sandslash,codegen.vsmul_vx;machamp,codegen.vaadd_vx;blastoise...	1m 32s
Run VCS (sandslash,codegen.vlsseg4e8_v;sandslash,codegen.vremu_vx;sandslash,codegen.vmseq_vx;sand...	1m 33s
Run VCS (sandslash,codegen.vlse8_v;sandslash,codegen.vdivu_vx;sandslash,codegen.vmsne_vx;sandslas...	1m 31s
Report VCS CI result	29s
	1h 43m 55s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

[rtl] switch assert to use LTL #232

Usage

[rtl] switch assert to use LTL #232

Jobs

Run details

Run time