Support strict casts in the SimpleSub inferencer · runtimeverification/k@776df3f

Triggered via pull request December 18, 2023 00:46

synchronize #3870

simplesub-strict-casts

Status Success

Total duration 45m 16s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

Produced during runtime

Name	Size
kframework.deb Expired	157 MB