score-json / json / 17845104296

99%

push

github

Revision 1 1 jk (#87)

* Change JLEX into links

* reorder documentation

* rework plotting

* adapt documentation generator to argument

* change link of top-top-layer node

* add more verbose intro for trustable graph

* change order

* Changes to address #73

* reformulate AOU-23 and AOU-24 as requirements
* split AOU-25 in behaviours and misbehaviours of C++-stdlib
* reformulate AOU-27 as requirement
* add which statements are supported by these assumptions of use

* add actual graph

* remove automatic change of trustable graph documentation

* clean up graph

* add version for nlohmann/json to start page of documentation

* addressing #73

renaming entry "Eclipse" to "Eclipse S-CORE Home Page" in documentation

* tweak references

* add description to function references
* remove empty bullet-point from JSONTestsuiteReference

* adapt FunctionReferences

* add descriptions

* formulate AOU as requirements

* formulate AOU as requirement

* add combined AOU

* combine AOUs

* combine similar AOU-10, AOU-11, AOU-12 and AOU-13 into one singular AOU-10_COMBINED
* remove obsolete AOU
* adapt graph

* add descriptions to function_references

* fix typo

* Change overview

* add test-list compilator

* tweak collection of List_of_all_tests.md

* add List_of_all_tests.md
* adapt compile_list_of_tests.py as script instead of expecting console inputs

* rework list of tests as custom reference

* add list of test as reference

* add documentation

* add test-environments to list of tests

* change classmethods to static methods

* add tests

* add some tests

* Fix reintroduced errors in README

* re-add commas

* re-fix version

* remove outcommentation

---------

Co-authored-by: Nils Eberhardt <nils.eberhardt@d-fine.com>

1989 of 2119 branches covered (93.87%)

6339 of 6391 relevant lines covered (99.19%)

14998574.61 hits per line