ligurio / molly / 11722143046

87%

master: 87%

Build Type

push

github

Committed by ligurio

Commit Message

molly: update an RW register generator

Elle's checker requires that operations on RW register
must not write same numbers. The patch changes an RW-register
operations generator in that way, every number emit only once.
Also, a max number can be specified in `rw_register_gen()`,
default value is equal to 1000.

Run Details

7 of 7 new or added lines in 1 file covered. (100.0%)

16 existing lines in 1 file now uncovered.

576 of 664 relevant lines covered (86.75%)

12.87 hits per line