Code

Minor tweaks#24

Code

Merged

notroj merged 2 commits intomasternotroj/litmus:masterfrom minor-tweaksnotroj/litmus:minor-tweaksCopy head branch name to clipboardAug 7, 2024

+5-1

Commits

Commits on Aug 7, 2024

• * src/basic.c (put_location): Use a descriptive failure message,

  Show description for 4439978
  notroj

  committed
  4439978

• * src/props.c (tests): Run a set/delete/delete sequence, since

  Show description for ea12bed
  notroj

  committed
  ea12bed