Code

[CN-Test-Gen] Bug replication code#910

Code

Merged

ZippeyKeys12 merged 7 commits intorems-project:masterrems-project/cerberus:masterfrom ZippeyKeys12:cn-test-gen-replication-codeZippeyKeys12/cerberus:cn-test-gen-replication-codeCopy head branch name to clipboardMar 5, 2025

+2,071-182

Commits

Commits on Mar 5, 2025

• [CN-Exec/CN-Testing] Split runtimes apart

  Show description for c5785a0
  ZippeyKeys12

  committed
  c5785a0

  Copy full SHA for c5785a0

• [CN-Exec] Change hashtable key size to be 64-bits

  ZippeyKeys12

  committed
  1aafc4f

  Copy full SHA for 1aafc4f

• [CN-Exec] Avoid null-deref in hashtable iterator

  ZippeyKeys12

  committed
  0ea6269

  Copy full SHA for 0ea6269

• [CN-Test-Gen] specTests nitpick

  ZippeyKeys12

  committed
  27ec96f

  Copy full SHA for 27ec96f

• [CN-Test-Gen] Use statement expr for map codegen

  ZippeyKeys12

  committed
  d362885

  Copy full SHA for d362885

• [CI] Fix test to account for 0832c78

  ZippeyKeys12

  committed
  8ab1a71

  Copy full SHA for 8ab1a71

• [CN-Test-Gen] Synthesize code for bug replication

  ZippeyKeys12

  committed
  07ed20a

  Copy full SHA for 07ed20a