Code

adding round trip test for lzma#16

Code

Merged

Zac-HD merged 14 commits intoZac-HD:masterZac-HD/stdlib-property-tests:masterfrom Cheukting:test-lzmaCheukting/stdlib-property-tests:test-lzmaCopy head branch name to clipboardMay 25, 2020

+70-1

Commits

Commits on May 17, 2020

• Try dev version

  Zac-HD

  committed
  3a7f0b4

• adding round trip test for lzma

  Cheukting

  committed
  90ee470

• Fix formating issue

  Cheukting

  committed
  390363b

Commits on May 18, 2020

• break test cases to test format and check options

  Cheukting

  committed
  027c22b

• fixing parameters for format and check

  Cheukting

  committed
  6cd2661

• Adding strategies for filters

  Cheukting

  committed
  7002ca2

• wrap elements in sampled_from, fix copy and paste mistakes

  Cheukting

  committed
  23e345a

• remove format arg in test_lzma_round_trip_format_alone

  Cheukting

  committed
  72002c9

• tox clean up

  Cheukting

  committed
  e1ac4d8

Commits on May 19, 2020

• put filters in a seperate function

  Cheukting

  committed
  ec39cb0

Commits on May 20, 2020

• refactor filter strategy

  Cheukting

  committed
  67c04f9

Commits on May 24, 2020

• Remove test for lzma format_raw

  Cheukting

  committed
  9ba0de3

• tox fixes

  Cheukting

  committed
  721d1ec

Commits on May 25, 2020

• Refactor, skip LZMA filter test

  Zac-HD

  committed
  5557030