-
Jens Korinth authored
c428dca Decreased number of tests for DataWidthConverter 3f395f6 Bugfix concerning log2Ceil(1) == 0 0092287 Replace unit tests for DataWidthConverter with property spec 9ffa2fe Finish data width converter correctness spec 435ee4b Work on generator for valid data width conversions f91ed9f Start implementation of data width conversion spec 1d57540 Improve debug output of DecoupledDataSource 4a4a7d2 Replace DecoupledDataSource testing with prop check 9da9dc5 Finish replacement of SignalGenerator tests aeee2cd Started with property-based testing 20c08e2 Fix bug in DecoupledDataSource, remove crossVersions git-subtree-dir: miscutils git-subtree-split: c428dca006d0aa62d25c83ffdffad8baf229bcfb
20323ee9