Skip to content

Full AVM unit tests dedicated github workflow #6643

Closed
#7088
#7051
Closed
Full AVM unit tests dedicated github workflow#6643
#7088
#7051
Assignees
jeanmon
Labels
C-avmComponent: AVM related tickets (aka public VM)T-testingType: Testing. More tests need to be added.

Description

@jeanmon
jeanmon
opened on May 23, 2024

In order to keep the AVM unit tests within acceptable running time, two measures/relaxations were introduced:

  1. Most of unit tests have proving disabled. (circuit checking runs instead)
  2. Range checks and binary operation lookups are simplified by reducing the hardcoded lookup tables to only values which are read by the execution.

Goal of this task is to introduce:

  1. a specific Github workflow which is run once per day and can be manually triggered.
  2. this Github workflow runs all AVM unit tests with full proving and full lookup (remove the relaxations above)
  3. Notifications to AVM team when the action is not successful (cron job one)

Activity

  1. jeanmon
    added this to A3on May 23, 2024
  2. jeanmon
    self-assigned this
    on May 23, 2024
  3. jeanmon
    converted this from a draft issue on May 23, 2024
  4. jeanmon
    removed their assignment
    on May 23, 2024
  5. jeanmon
    added
    T-testingType: Testing. More tests need to be added.
    C-avmComponent: AVM related tickets (aka public VM)
    on May 23, 2024
  6. jeanmon
    self-assigned this
    on Jun 13, 2024
  7. jeanmon
    moved this from Todo to In Progress in A3on Jun 13, 2024
  8. jeanmon
    changed the title [-]Full AVM unit tests dedicated github action[/-] [+]Full AVM unit tests dedicated github workflow[/+] on Jun 13, 2024
  9. jeanmon
    moved this from In Progress to In Review in A3on Jun 18, 2024
  10. jeanmon
    closed this as completedin #7051on Jun 19, 2024
  11. jeanmon
    closed this as completedin a0b9c4bon Jun 19, 2024
  12. github-project-automation
    moved this from In Review to Done in A3on Jun 19, 2024
  13. guipublic
    added a commit that references this issue on Jun 19, 2024

    test: Create workflow for full AVM tests (#7051)

    a0b9c4b
  14. sirasistant
    added a commit that references this issue on Jun 26, 2024

    chore(master): Release 0.44.0 (#7088)

    a8c666e
  15. AztecBot
    added a commit that references this issue on Jun 27, 2024

    chore(master): Release 0.44.0 (#7088)

    1b29917
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

C-avmComponent: AVM related tickets (aka public VM)T-testingType: Testing. More tests need to be added.

Type

No type

Projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions