dune-testtools issueshttps://gitlab.dune-project.org/quality/dune-testtools/-/issues2019-05-22T14:09:46Zhttps://gitlab.dune-project.org/quality/dune-testtools/-/issues/127Normal ini files cant be used for system tests unless __name is specified2019-05-22T14:09:46ZDominic Kempfdominic.kempf@iwr.uni-heidelberg.deNormal ini files cant be used for system tests unless __name is specifiedIni files are a subset of meta ini files and as such should be valid during the whole tool chain. The `__name` key needs to default to the filename in that case.
cc @rhessIni files are a subset of meta ini files and as such should be valid during the whole tool chain. The `__name` key needs to default to the filename in that case.
cc @rhessDominic Kempfdominic.kempf@iwr.uni-heidelberg.deDominic Kempfdominic.kempf@iwr.uni-heidelberg.de