Code

add model-based test for data entry#949

Code

Merged

jschuurk-kr merged 10 commits intomainkiesraad/abacus:mainfrom 933-add-model-based-test-for-data-entrykiesraad/abacus:933-add-model-based-test-for-data-entryCopy head branch name to clipboardFeb 6, 2025

+512-3

Commits

Commits on Jan 30, 2025

• adds test from spike

  jschuurk-kr

  committed
  e82a3bd

  Copy full SHA for e82a3bd

• adds method to page object to get both voters and votes counts

  jschuurk-kr

  committed
  f1be60a

  Copy full SHA for f1be60a

• extends page objects

  jschuurk-kr

  committed
  198b5db

  Copy full SHA for 198b5db

• simplifies shared first steps of tests

  jschuurk-kr

  committed
  557dc5f

  Copy full SHA for 557dc5f

• makes asserts on in-progress data entries more specific

  jschuurk-kr

  committed
  b724e16

  Copy full SHA for b724e16

• WIP: change data structures to check states and events

  jschuurk-kr

  committed
  4fbe49b

  Copy full SHA for 4fbe49b

Commits on Feb 3, 2025

• refactors check that events and states match between machine and test

  jschuurk-kr

  committed
  1ec643f

  Copy full SHA for 1ec643f

Commits on Feb 5, 2025

• Add type checking of machine and test states and events

  oliver3

  committed
  8b00e45

  Copy full SHA for 8b00e45

Commits on Feb 6, 2025

• Merge branch 'main' into 933-add-model-based-test-for-data-entry

  jschuurk-kr

  authored
  d9da0fb

  Copy full SHA for d9da0fb

• fixes errors in package-lock.json from previous merge commit

  jschuurk-kr

  committed
  7be330f

  Copy full SHA for 7be330f