Work in progress. Maintainer Mode changes every day: pages, numbers and links can change or break. Tell us what is wrong or missing.

cbmc-viewer

cbmc-viewer 3.8 · pkgs/by-name/cb/cbmc-viewer/package.nix

Sign in to watch

Health

Risk

risk 9 low

+8 3.8 is behind upstream 3.12
+1 no versionCheckHook

Version

3.8 3.12 available

Channels

master 3.8 · nixos-unstable 3.8 · nixos-26.05 3.8 no channel is behind master

Hydra

succeeded 2w ago

Advisories

none open

Packaging

no versionCheckHook

Packagewhat each field means

Description

Produces browsable summary of CBMC model checker output

Homepage

https://github.com/model-checking/cbmc-viewer

License

Platforms

31 platforms: Linux, Darwin

Main program

cbmc-viewer

Source provenance

not set: built from source

Outputs

out dist

Status

not broken, not insecure, free

Position

pkgs/by-name/cb/cbmc-viewer/package.nix:24

Maintainers

Version bumps 0

None open. Upstream has 3.12: how to update a package.

Pull requests 0

None open.

Issues 0

None open.