CppVerify CI

Workflow runs for CppVerify CI

• A23: out-parameters, inferred from what a body writes before it reads

  failed:
  CppVerify CI#201:Pull request#83openedbySwayamInSync
  fix/out-parameter-tracking

  Oct 24, 20263h 7m 41s
  More actions for workflow run 201

• Merge pull request #81 from SwayamInSync/fix/class-templates

  completed successfully:
  CppVerify CI#200:Commit79331d3pushedbySwayamInSync
  main

  Oct 24, 20262h 34m 32s
  More actions for workflow run 200

• Merge pull request #80 from SwayamInSync/fix/function-templates

  failed:
  CppVerify CI#199:Commit7e940b3pushedbySwayamInSync
  main

  Oct 24, 20262h 13m 48s
  More actions for workflow run 199

• A18: std::min and std::max of two integers, and constexpr helpers taking const references

  completed successfully:
  CppVerify CI#198:Pull request#82openedbySwayamInSync
  fix/std-min-max

  Oct 24, 20262h 59m 58s
  More actions for workflow run 198

• Merge pull request #79 from SwayamInSync/fix/member-operators

  cancelled:
  CppVerify CI#197:Commit86cffefpushedbySwayamInSync
  main

  Oct 24, 202636m 48s
  More actions for workflow run 197

• B2-2: class templates verified in each specialization

  completed successfully:
  CppVerify CI#196:Pull request#81openedbySwayamInSync
  fix/class-templates

  Oct 24, 20262h 20m 21s
  More actions for workflow run 196

• B2-1: function templates verified in each specialization

  completed successfully:
  CppVerify CI#195:Pull request#80openedbySwayamInSync
  fix/function-templates

  Oct 24, 20262h 11m 47s
  More actions for workflow run 195

• Merge pull request #78 from SwayamInSync/fix/class-invariants

  cancelled:
  CppVerify CI#194:Commite7e51afpushedbySwayamInSync
  main

  Oct 24, 20261h 56m 20s
  More actions for workflow run 194

• Merge pull request #77 from SwayamInSync/fix/object-values

  cancelled:
  CppVerify CI#193:Commit1f07387pushedbySwayamInSync
  main

  Oct 24, 20267s
  More actions for workflow run 193

• Merge pull request #76 from SwayamInSync/fix/constructors

  cancelled:
  CppVerify CI#192:Commita9cc562pushedbySwayamInSync
  main

  Oct 24, 20267s
  More actions for workflow run 192

• Merge pull request #75 from SwayamInSync/fix/local-loop-frames

  cancelled:
  CppVerify CI#191:Commite308889pushedbySwayamInSync
  main

  Oct 24, 20268s
  More actions for workflow run 191

• Merge pull request #74 from SwayamInSync/fix/invariant-definedness

  cancelled:
  CppVerify CI#190:Commit7a61bd6pushedbySwayamInSync
  main

  Oct 24, 20261m 21s
  More actions for workflow run 190

• Member operators, own-object returns, and class invariants at reference and pointer parameters

  completed successfully:
  CppVerify CI#189:Pull request#79reopenedbySwayamInSync
  fix/member-operators

  Oct 24, 20262h 6m 4s
  More actions for workflow run 189

• B3-3: class invariants at public member functions and constructors

  completed successfully:
  CppVerify CI#188:Pull request#78openedbySwayamInSync
  fix/class-invariants

  Oct 24, 20262h 6m 45s
  More actions for workflow run 188

• Merge pull request #73 from SwayamInSync/fix/member-functions

  completed successfully:
  CppVerify CI#187:Commit68b98b0pushedbySwayamInSync
  main

  Oct 24, 20261h 22m 40s
  More actions for workflow run 187

• Merge pull request #72 from SwayamInSync/fix/pointer-field-extents

  cancelled:
  CppVerify CI#186:Commite30af8fpushedbySwayamInSync
  main

  Oct 24, 202611s
  More actions for workflow run 186

• Merge pull request #71 from SwayamInSync/fix/local-record-arguments

  cancelled:
  CppVerify CI#185:Commita05d4c2pushedbySwayamInSync
  main

  Oct 24, 202610s
  More actions for workflow run 185

• Merge pull request #70 from SwayamInSync/fix/record-references

  cancelled:
  CppVerify CI#184:Commit8da26c5pushedbySwayamInSync
  main

  Oct 24, 202610s
  More actions for workflow run 184

• Merge pull request #69 from SwayamInSync/fix/per-function-errors

  cancelled:
  CppVerify CI#183:Commite4c9c0epushedbySwayamInSync
  main

  Oct 24, 20261m 21s
  More actions for workflow run 183

• Records kept in memory by value: passed, returned, and copied as their fields

  completed successfully:
  CppVerify CI#182:Pull request#77synchronizebySwayamInSync
  fix/object-values

  Oct 24, 20261h 58m 0s
  More actions for workflow run 182

• Records kept in memory by value: passed, returned, and copied as their fields

  cancelled:
  CppVerify CI#181:Pull request#77openedbySwayamInSync
  fix/object-values

  Oct 24, 20264m 8s
  More actions for workflow run 181

• B3-2: constructors, verified on their caller's storage and run where objects are defined

  completed successfully:
  CppVerify CI#180:Pull request#76openedbySwayamInSync
  fix/constructors

  Oct 24, 20261h 33m 54s
  More actions for workflow run 180

• Loops that write local or dynamic storage: frame them by the objects they write

  completed successfully:
  CppVerify CI#179:Pull request#75openedbySwayamInSync
  fix/local-loop-frames

  Oct 24, 20263h 45m 39s
  More actions for workflow run 179

• Loops over local storage: an invariant's definedness at the head, and initialization kept across iterations

  completed successfully:
  CppVerify CI#178:Pull request#74openedbySwayamInSync
  fix/invariant-definedness

  Oct 24, 20261h 20m 37s
  More actions for workflow run 178

• verify: Verify member functions as functions of this

  completed successfully:
  CppVerify CI#177:Pull request#73synchronizebySwayamInSync
  fix/member-functions

  Oct 24, 20262h 46m 41s
  More actions for workflow run 177