update in visualizing trace option #5607

Sign in to view logs

Re-run triggered November 3, 2023 23:47

zhassan-aws

#2855

patch-1

Status Success

Total duration 40m 53s

Artifacts –

kani.yml

on: pull_request

write-json-symtab-regression

benchcomp-tests

Matrix: regression