eval_rv_base: cast without torg when typeOf fails · goblint/analyzer@dfaa55b

Triggered via push January 28, 2024 18:39

issue_1338

Status Success

Total duration 20m 39s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: gobview

Matrix: regression

Produced during runtime

Name	Size
suite_result-macos-latest Expired	2.38 MB
suite_result-ubuntu-latest Expired	2.37 MB