testsmt/yinyang

Refactoring and code style

Closed this issue · 0 comments

wintered commented

Actions:

  • refactoring
  • code reviews
  • integrate code style checker, e.g. based on PEP into travis to be checked at each commit