Code

Pb/model based testing#19913

Code

Draft

paulbrauner-da wants to merge 51 commits intomaindigital-asset/daml:mainfrom pb/model-based-testingdigital-asset/daml:pb/model-based-testingCopy head branch name to clipboard

Commits

Commits on Oct 23, 2024

• first working prototype

  paulbrauner-da

  committed
  8ac9629

  Copy full SHA for 8ac9629

• run against actual canton

  paulbrauner-da

  committed
  273cb28

  Copy full SHA for 273cb28

• refactoring

  paulbrauner-da

  committed
  4cf149f

  Copy full SHA for 4cf149f

• rework errors

  paulbrauner-da

  committed
  7ac30b3

  Copy full SHA for 7ac30b3

• extract projections from canton

  paulbrauner-da

  committed
  c5f9a4e

  Copy full SHA for c5f9a4e

• add a proper projection datatype

  paulbrauner-da

  committed
  2f8fceb

  Copy full SHA for 2f8fceb

• refactor ToProjection

  paulbrauner-da

  committed
  1105ade

  Copy full SHA for 1105ade

• compute projections from the IDE ledger

  paulbrauner-da

  committed
  23ec022

  Copy full SHA for 23ec022

• hide the two runners behind an interface, compare projections

  paulbrauner-da

  committed
  fd600bd

  Copy full SHA for fd600bd

• implementation of FEAT in scala

  paulbrauner-da

  committed
  3b537fd

  Copy full SHA for 3b537fd

• add ledger skeleton enumerations

  paulbrauner-da

  committed
  6f7fbd4

  Copy full SHA for 6f7fbd4

• add a 'fixer' for ledgers

  paulbrauner-da

  committed
  3a16f4b

  Copy full SHA for 3a16f4b

• print ledgers in scala syntax before exiting when finding a bug

  paulbrauner-da

  committed
  e2da9a4

  Copy full SHA for e2da9a4

• introduce skeletons

  paulbrauner-da

  committed
  b4dfa05

  Copy full SHA for b4dfa05

• add symbolic solver

  paulbrauner-da

  committed
  5310088

  Copy full SHA for 5310088

• remove warnings

  paulbrauner-da

  committed
  bda97a9

  Copy full SHA for bda97a9

• add random hash function to symbolic solver

  paulbrauner-da

  committed
  6fbe630

  Copy full SHA for 6fbe630

• split parties into participants, disjoint for now

  paulbrauner-da

  committed
  5849521

  Copy full SHA for 5849521

• Add scenarios to skeletons

  paulbrauner-da

  committed
  27f8556

  Copy full SHA for 27f8556

• generate toplogies using z3

  paulbrauner-da

  committed
  2f2a557

  Copy full SHA for 2f2a557

• use z3 to also validate concrete ledgers

  paulbrauner-da

  committed
  4fe3ae3

  Copy full SHA for 4fe3ae3

• allow for parallel execution of tests

  paulbrauner-da

  committed
  04c55fc

  Copy full SHA for 04c55fc

• properly wait for party propagation

  paulbrauner-da

  committed
  e959748

  Copy full SHA for e959748

• prepare the interpreter for party replication

  paulbrauner-da

  committed
  961e751

  Copy full SHA for 961e751

• implement party replication

  paulbrauner-da

  committed
  a45b610

  Copy full SHA for a45b610

• compare all projections

  paulbrauner-da

  committed
  a25eb12

  Copy full SHA for a25eb12

• no longer generate disjoint sets in the fixer

  paulbrauner-da

  committed
  e88c457

  Copy full SHA for e88c457

• add keys to the symbolic solver

  paulbrauner-da

  committed
  52b7077

  Copy full SHA for 52b7077

• update commented out code

  paulbrauner-da

  committed
  b2842c8

  Copy full SHA for b2842c8

• add lookupbykey, symbolic solver only

  paulbrauner-da

  committed
  6c8e8ab

  Copy full SHA for 6c8e8ab

• assert lookup by keys

  paulbrauner-da

  committed
  1e6be5c

  Copy full SHA for 1e6be5c

• add FetchByKey

  paulbrauner-da

  committed
  c7d151f

  Copy full SHA for c7d151f

• simplify validity checker and add shrinking

  paulbrauner-da

  committed
  4b130dd

  Copy full SHA for 4b130dd

• add support for disclosure, but can't fetch disclosures in some cases

  paulbrauner-da

  committed
  8dc8840

  Copy full SHA for 8dc8840

• make shrinking work much better

  paulbrauner-da

  committed
  e7a1307

  Copy full SHA for e7a1307

• fix disclosure

  paulbrauner-da

  committed
  a242977

  Copy full SHA for a242977

• parser

  paulbrauner-da

  committed
  7228978

  Copy full SHA for 7228978

• initial support for upgrades

  paulbrauner-da

  committed
  e7f2ec5

  Copy full SHA for e7f2ec5

• introduce proper support for upgrades but something's broken

  paulbrauner-da

  committed
  0039c7c

  Copy full SHA for 0039c7c

• mark dars as upgrading the previous one

  paulbrauner-da

  committed
  b768512

  Copy full SHA for b768512

• found an upgrade bug

  paulbrauner-da

  committed
  e7cf445

  Copy full SHA for e7cf445

• improve the hash function in the symbolic solver

  paulbrauner-da

  committed
  34fef5f

  Copy full SHA for 34fef5f

• fix build after rebase

  paulbrauner-da

  committed
  54825e2

  Copy full SHA for 54825e2

• remove obsolete and wrong comment

  paulbrauner-da

  committed
  9ecb9e5

  Copy full SHA for 9ecb9e5

• fix build after rebase

  paulbrauner-da

  committed
  43aa24c

  Copy full SHA for 43aa24c

• add package list to participant but no constraint or interpretation yet

  paulbrauner-da

  committed
  a3d72e4

  Copy full SHA for a3d72e4

• add constraints for package lists

  paulbrauner-da

  committed
  a593069

  Copy full SHA for a593069

• make it compile again after rebase

  paulbrauner-da

  committed
  3b96962

  Copy full SHA for 3b96962

• add script to run canton

  paulbrauner-da

  committed
  08231a2

  Copy full SHA for 08231a2

• Fix build after rebase.

  Show description for 2d9103f
  paulbrauner-da

  committed
  2d9103f

  Copy full SHA for 2d9103f

Commits on Oct 24, 2024

• quick fix for disclosures, needs porting

  paulbrauner-da

  committed
  f1c7112

  Copy full SHA for f1c7112