| commit | f3716f3bfdd6f8488aac3281d50f476aca4940ab | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Thu Jul 13 11:17:50 2017 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Thu Jul 13 11:17:50 2017 +0200 |
| tree | de8ff981a7c5e2b6b25bb7310727d2bdff97211a | |
| parent | a37394aa31408b69c01c67727d2576bb488b9c3d [diff] |
Improvement: Dummy GK tests are a bit messy