Code

Allow all node calls in contracts#1108

Code

Merged

daniel-larraz merged 1 commit intokind2-mc:developkind2-mc/kind2:developfrom daniel-larraz:allow-all-calls-in-contractdaniel-larraz/kind2:allow-all-calls-in-contractCopy head branch name to clipboardNov 15, 2024

+15-157

Commits

Commits on Nov 15, 2024

• Allow all node calls in contracts

  daniel-larraz

  committed
  7a35ebf