Code

Document demonic non-determinism#3895

Code

Open

tautschnig wants to merge 2 commits intomodel-checking:mainmodel-checking/kani:mainfrom tautschnig:doc-demonic-nondettautschnig/kani:doc-demonic-nondetCopy head branch name to clipboard

+87-3

Commits

Commits on Feb 18, 2025

• Document demonic non-determinism

  Show description for d26359d
  tautschnig

  committed
  d26359d

  Copy full SHA for d26359d

• Update docs/src/demonic-nondet.md

  Show description for 9f0075b
  

  tautschnig

  and

  carolynzech

  authored
  9f0075b

  Copy full SHA for 9f0075b