Code

Polish #88#1

Code

Merged

n-osborne merged 4 commits inton-osborne:stm-threadn-osborne/multicoretests:stm-threadfrom shym:polish-stm-threadsshym/multicoretests:polish-stm-threadsCopy head branch name to clipboardNov 9, 2022

+91-91

Commits

Commits on Nov 8, 2022

• Drop qcheck-stm.base explicit dependency when it's implicit

  shym

  committed
  07fb894

  Copy full SHA for 07fb894

• Use _seq,_dom lowercase suffixes for modules

  Show description for 73056c4
  shym

  committed
  73056c4

  Copy full SHA for 73056c4

• Use QCheck module uniformly

  Show description for c543928
  shym

  committed
  c543928

  Copy full SHA for c543928

• Change a few run counts

  shym

  committed
  f129408

  Copy full SHA for f129408