Code

Small fixes WIP#244

Code

Merged

pschanely merged 7 commits intomainpschanely/CrossHair:mainfrom wippschanely/CrossHair:wipCopy head branch name to clipboardFeb 28, 2024

+156-87

Commits

Commits on Feb 28, 2024

• Fix typos in command line docs

  pschanely

  committed
  b3233a3

  Copy full SHA for b3233a3

• Fix StringIO position after overwrite.

  pschanely

  committed
  5e35026

  Copy full SHA for 5e35026

• Cap nondeterminism check to statespace context

  pschanely

  committed
  ffbd7c2

  Copy full SHA for ffbd7c2

• Fix #242 - handle AlgebraicNumRef

  pschanely

  committed
  390335b

  Copy full SHA for 390335b

• Add max_uninteresting_iterations to diffbehavior

  pschanely

  committed
  0290226

  Copy full SHA for 0290226

• Add default max_uninteresting_iterations to cover

  pschanely

  committed
  e4d1e75

  Copy full SHA for e4d1e75

• Correct & clarify --per_path_timeout documentation

  pschanely

  committed
  3d4eeac

  Copy full SHA for 3d4eeac