gasche/efftester

Issues

• Have a test target and some CI

  #5 opened 5 years ago by gasche
  0

• Top-level support broken

  #27 opened 5 years ago by jmid
  0

• tcheck bug in PR #13

  #14 opened 5 years ago by ulugbekna
  22

• Tune the generator by randomly selecting sub-languages to explore

  #3 opened 6 years ago by gasche
  0