sscheck icon indicating copy to clipboard operation
sscheck copied to clipboard

Published 20 hours ago • verified publisher icon juanrh

Create additional properties for PDStreamGen in the test suite for sscheck

Open juanrh opened this issue 8 years ago • 0 comments

That capture and enforce the following properties

  • Generators generate the minimal words that exercise the corresponding formula, for a precise formulation of mininality TBD
  • Applying Gen.resize on a PDStream generator affects the length of the PDStreams / words generated, but not the size of the batches generated by the corresponding nested BatchGen, to which Gen.resize should be applied independtly

juanrh avatar Apr 17 '16 02:04 juanrh