Code

Add option to save all traces#49

Code

Merged

marnovandermaas merged 1 commit intoCTSRD-CHERI:masterCTSRD-CHERI/QuickCheckVEngine:masterfrom marnovandermaas:save_all_optionmarnovandermaas/QuickCheckVEngine:save_all_optionCopy head branch name to clipboardJun 14, 2024

+27-12

Commits

Commits on Jun 7, 2024

• Add option to save all traces

  marnovandermaas

  committed
  ce2c644