Search results

Python crash in ./run-cbmc-proofs.py -jN when N is large

Status: Open.

#235 In model-checking/cbmc-starter-kit;

· rod-chapman opened on Nov 10, 2025

Interrupting litani run leaves Z3 process running and hogging CPU

Status: Open.

#226 In model-checking/cbmc-starter-kit;

· rod-chapman opened on Jul 9, 2025

Add proof runtime to GITHUB_STEP_SUMMARY

Status: Open.

#221 In model-checking/cbmc-starter-kit;

· hanno-becker opened on Nov 6, 2024

--object-bits and --unwind flag missing at checking safety properties and coverage step

Status: Open.

#209 In model-checking/cbmc-starter-kit;

· QinyuanWu opened on Jul 15, 2024

Mis-leading error message on missing submodule in verification of s2n-tls

Status: Open.

#206 In model-checking/cbmc-starter-kit;

· rod-chapman opened on Jun 18, 2024

Remove reference to deleted repository.litani_root() from setup.py

Status: Open.

#205 In model-checking/cbmc-starter-kit;

· hanno-becker opened on May 24, 2024

aws-c-common - run_cbmc_proofs failing at "Install latest CBMC" stage

Status: Open.

#200 In model-checking/cbmc-starter-kit;

· jaisnan opened on Sep 7, 2023

How to prove a static (file scope) function using the starter kit?

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#199 In model-checking/cbmc-starter-kit;

· rod-chapman opened on Jun 8, 2023

Noisy errors and warnings on simple function verification

clean upRemoving/updating outdated codeRemoving/updating outdated code

enhancementNew feature or requestNew feature or request

Status: Open.

#198 In model-checking/cbmc-starter-kit;

· rod-chapman opened on Jun 8, 2023

Better error message for missing dependencies

Status: Open.

#196 In model-checking/cbmc-starter-kit;

· feliperodri opened on Apr 13, 2023

Migrate data from all AWS accounts

Status: Open.

#189 In model-checking/cbmc-starter-kit;

· karkhaz opened on Jan 12, 2023

Suspend all AWS accounts

Status: Open.

#188 In model-checking/cbmc-starter-kit;

· karkhaz opened on Jan 12, 2023