Code

Property test vec new approach#1467

Code

Merged

lastmjs merged 38 commits intomaindemergent-labs/azle:mainfrom property_test_vec_new_approachdemergent-labs/azle:property_test_vec_new_approachCopy head branch name to clipboardDec 5, 2023

+2,277-1,388

Commits

Commits on Dec 4, 2023

• rename CandidMeta to CandidValueAndMeta

  bdemann

  committed
  e75b418

  Copy full SHA for e75b418

• Rename Arb to match type

  bdemann

  committed
  2aaa026

  Copy full SHA for 2aaa026

• change file name to match new name

  bdemann

  committed
  754171c

  Copy full SHA for 754171c

• rename to PrimitiveCandidValueAndMetaArb

  bdemann

  committed
  3b04ff8

  Copy full SHA for 3b04ff8

• split CandidMetaArb into two parts, type and value

  bdemann

  committed
  84ce629

  Copy full SHA for 84ce629

• WIP

  bdemann

  committed
  e63b884

  Copy full SHA for e63b884

• move candid class to it's own file

  bdemann

  committed
  104001c

  Copy full SHA for 104001c

• set min field count of records to 1

  bdemann

  committed
  6f57062

  Copy full SHA for 6f57062

• checkpoint

  Show description for babcd83
  bdemann

  committed
  babcd83

  Copy full SHA for babcd83

• refactor

  bdemann

  committed
  d91b890

  Copy full SHA for d91b890

• Add more definitionArbs

  Show description for 877eeea
  bdemann

  committed
  877eeea

  Copy full SHA for 877eeea

• add primitive type arbs

  bdemann

  committed
  c6a6ce3

  Copy full SHA for c6a6ce3

• Add primitives to CandidDefinitionArb

  Show description for cdbb3af
  bdemann

  committed
  cdbb3af

  Copy full SHA for cdbb3af

• add opt, tuple, and variant

  bdemann

  committed
  b695744

  Copy full SHA for b695744

• rename some metas to definition

  bdemann

  committed
  077e37f

  Copy full SHA for 077e37f

• add principal

  bdemann

  committed
  e28e7e2

  Copy full SHA for e28e7e2

• add service and func

  bdemann

  committed
  2ca9d6d

  Copy full SHA for 2ca9d6d

• refactoring

  bdemann

  committed
  1888493

  Copy full SHA for 1888493

• reorder blob arb

  bdemann

  committed
  4d915dd

  Copy full SHA for 4d915dd

• checkpoint

  bdemann

  committed
  a7c9011

  Copy full SHA for a7c9011

• simplify constructed arbs

  bdemann

  committed
  d7a0cac

  Copy full SHA for d7a0cac

• rename

  bdemann

  committed
  1a13066

  Copy full SHA for 1a13066

• move service and func def and values to own files

  bdemann

  committed
  744429f

  Copy full SHA for 744429f

• simplify CandidArb

  bdemann

  committed
  8ccfe9f

  Copy full SHA for 8ccfe9f

• change candid type to string union

  bdemann

  committed
  40c2ffc

  Copy full SHA for 40c2ffc

• rename file to match arb inside

  bdemann

  committed
  d0d3b65

  Copy full SHA for d0d3b65

• fix type errors

  bdemann

  committed
  ea71846

  Copy full SHA for ea71846

• add blob to definition arb

  bdemann

  committed
  ee4e7b1

  Copy full SHA for ee4e7b1

• pr fixes

  Show description for 5c3c754
  bdemann

  committed
  5c3c754

  Copy full SHA for 5c3c754

• pr_fixes

  bdemann

  committed
  00fc3d9

  Copy full SHA for 00fc3d9

• pr fixes

  bdemann

  committed
  9cbaa53

  Copy full SHA for 9cbaa53

• fix imports

  bdemann

  committed
  1585c70

  Copy full SHA for 1585c70

Commits on Dec 5, 2023

• update arbitraries to functions

  bdemann

  committed
  6555b5f

  Copy full SHA for 6555b5f

• remove unnecessary recursion

  bdemann

  committed
  600a8f7

  Copy full SHA for 600a8f7

• Merge pull request #1465 from demergent-labs/property_test_clean_up

  Show description for 69c9c04
  lastmjs

  authored
  69c9c04

  Copy full SHA for 69c9c04

• Merge branch 'main' into property_test_vec_new_approach

  bdemann

  committed
  2620aa0

  Copy full SHA for 2620aa0

• fix imports

  bdemann

  committed
  6148e80

  Copy full SHA for 6148e80

• fix more imports

  bdemann

  committed
  0cd4eb0

  Copy full SHA for 0cd4eb0