Code

Fix uninit read benchmark#641

Code

Merged

hernanponcedeleon merged 3 commits intodevelopmenthernanponcedeleon/Dat3M:developmentfrom fix_uninitRead_benchmarkhernanponcedeleon/Dat3M:fix_uninitRead_benchmarkCopy head branch name to clipboardMar 23, 2024

+41-32

Commits

Commits on Mar 22, 2024

• Fixed uninitRead.c benchmark and added clarifying comment

  ThomasHaas

  committed
  03d4d40

  Copy full SHA for 03d4d40

• Fixed uninitRead.c benchmark and added clarifying comment

  ThomasHaas

  committed
  fe3c2ca

  Copy full SHA for fe3c2ca

Commits on Mar 23, 2024

• Changed uninitRead.c to read from malloc'd but uninitialized memory.

  ThomasHaas

  committed
  543ed76

  Copy full SHA for 543ed76