Code

Tests for opaque function annotation#750

Code

Merged

marcoeilers merged 5 commits intomasterviperproject/silver:masterfrom meilers_opaque_functionsviperproject/silver:meilers_opaque_functionsCopy head branch name to clipboardNov 24, 2023

+337

Commits

Commits on Oct 31, 2023

• Test for @opaque() function annotation

  marcoeilers

  committed
  d43db15

  Copy full SHA for d43db15

• Cleanup

  marcoeilers

  committed
  315fb24

  Copy full SHA for 315fb24

Commits on Nov 1, 2023

• Added test to ensure opaque functions do not have predicate triggers

  marcoeilers

  committed
  94dfb40

  Copy full SHA for 94dfb40

• Moved test to annotation directory

  marcoeilers

  committed
  62dacc0

  Copy full SHA for 62dacc0

Commits on Nov 24, 2023

• Merge branch 'master' into meilers_opaque_functions

  marcoeilers

  committed
  11ab30d

  Copy full SHA for 11ab30d