score-json / inc_nlohmann_json / 19557455605 / 1

99%

main: 99%

push

github

Reworked the README file for references and validators (#6)

* extended TimeVaryingWebReference doc

* added validator info to website and project_website reference

* Updated readme for all references up to ListOfTestCases

* Again reworked the references readme

* extended documentation for validators

* cosmetic change

* cosmetic changes

* small fix in TimeVaryingWebReference

* Update .dotstop_extensions/README.md

Co-authored-by: halnasri <hatem.alnasri@d-fine.com>
Signed-off-by: Luca Füger <luca.fueger@d-fine.com>

* Added : to expected configuration

* Update .dotstop_extensions/README.md

Co-authored-by: halnasri <hatem.alnasri@d-fine.com>
Signed-off-by: Luca Füger <luca.fueger@d-fine.com>

* validator addition

* Added combinator trudag remark

* added database to README

* removed :

* Update .dotstop_extensions/README.md

Co-authored-by: Erik Hu <erik.hu@d-fine.com>
Signed-off-by: Luca Füger <luca.fueger@d-fine.com>

---------

Signed-off-by: Luca Füger <luca.fueger@d-fine.com>
Co-authored-by: halnasri <hatem.alnasri@d-fine.com>
Co-authored-by: Erik Hu <erik.hu@d-fine.com>

1989 of 2119 branches covered (93.87%)

6339 of 6391 relevant lines covered (99.19%)

14998575.45 hits per line