Code

Fix table type#564

Code

Merged

rv-jenkins merged 2 commits intomasterruntimeverification/wasm-semantics:masterfrom fix-table-typeruntimeverification/wasm-semantics:fix-table-typeCopy head branch name to clipboardJan 21, 2024

+34-6

Commits

Commits on Jan 18, 2024

• fix table ref type

  bbyalcinkaya

  committed
  b03c138

Commits on Jan 19, 2024

• add table unit test

  bbyalcinkaya

  committed
  5b65130