Code

Pyk: Wrap fuzzing in an interface#4492

Code

Merged

rv-jenkins merged 10 commits intodevelopruntimeverification/k:developfrom pyk/kfuzz-interfaceruntimeverification/k:pyk/kfuzz-interfaceCopy head branch name to clipboardJul 3, 2024

+68-31

Commits

Commits on Jul 1, 2024

• KFuzz class

  gtrepta

  committed
  fe1674d

  Copy full SHA for fe1674d

• Improve performance. p in subst hashes the term and is very expensive,

  Show description for 4310cea
  gtrepta

  committed
  4310cea

  Copy full SHA for 4310cea

• Check recursion limit, as hypothesis sometimes resets it.

  gtrepta

  committed
  6d82141

  Copy full SHA for 6d82141

• Update tests

  gtrepta

  committed
  104d40a

  Copy full SHA for 104d40a

• More flexibility with hypothesis settings

  gtrepta

  committed
  5cc6f7c

  Copy full SHA for 5cc6f7c

• Add a docstring

  gtrepta

  committed
  d451505

  Copy full SHA for d451505

Commits on Jul 2, 2024

• Merge branch 'develop' into pyk/kfuzz-interface

  gtrepta

  committed
  f545d1d

  Copy full SHA for f545d1d

Commits on Jul 3, 2024

• Don't try to maintain the recursion limit. Our traversals are no longer

  Show description for 71bc069
  gtrepta

  committed
  71bc069

  Copy full SHA for 71bc069

• Docstrings

  gtrepta

  committed
  47a187b

  Copy full SHA for 47a187b

• Merge branch 'develop' into pyk/kfuzz-interface

  rv-jenkins

  authored
  1c4c5d4

  Copy full SHA for 1c4c5d4