Add `KItem` subsorts to the disambiguation module when parsing programs · runtimeverification/k@5222d98

Triggered via pull request November 15, 2023 01:32

opened #3814

disamb-kitem

Status Success

Total duration 39m 12s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

Produced during runtime

Name	Size
kframework.deb Expired	145 MB