Add is_loop predicate to KCFGSemantics and derived classes · runtimeverification/k@d0dc6fd

Triggered via pull request May 8, 2024 22:52

nwatson22

synchronize #4329

noah/is-loop-head

Status Success

Total duration 35m 44s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Pyk: Code Quality & Unit Tests

Matrix: K: Nix Build & Test

Matrix: Pyk: Nix Build

1 warning

Cachix Daemon is not supported by this version of Cachix (1.6.0). Ignoring the 'useDaemon' option.

Produced during runtime

Name	Size
kframework.deb Expired	175 MB