Code

List Subcommand Improvements#3729

Code

Merged

carolynzech merged 7 commits intomodel-checking:mainmodel-checking/kani:mainfrom carolynzech:list-improvementscarolynzech/kani:list-improvementsCopy head branch name to clipboardNov 20, 2024

+478-199

Commits

Commits on Nov 19, 2024

• use CommonArgs instead of VerificationArgs

  carolynzech

  committed
  acec7a5

  Copy full SHA for acec7a5

• change pretty tables to markdown

  carolynzech

  committed
  fbab969

  Copy full SHA for fbab969

• write JSON filepath

  carolynzech

  committed
  0ffbd4c

  Copy full SHA for 0ffbd4c

• pretty table and markdown table

  carolynzech

  committed
  a8afa4d

  Copy full SHA for a8afa4d

Commits on Nov 20, 2024

• write markdown to a file; don't print if quiet

  carolynzech

  committed
  fa5627b

  Copy full SHA for fa5627b

• add markdown tests; test that filepath gets printed

  carolynzech

  committed
  04daf2c

  Copy full SHA for 04daf2c

• Merge branch 'main' into list-improvements

  carolynzech

  authored
  4c33659

  Copy full SHA for 4c33659