1
84%
master: 84%

Ran 25 Nov 2023 12:11PM UTC

Files 23

Run time 0s

Badge

Embed ▾

Committed 25 Nov 2023 12:09PM UTC coverage: 88.242% (-0.3%) from 88.575%

Job # 6988964202.1

Build Type

push

github

Committed by

web-flow

Commit Message

Add support for multiple tree file formats (#186)

The now-added tree codec framework provides means to convert
between trees and arrays of bytes. Moreover, enhanced codecs can
also support the serialization and deserialization of additional
data (called annotations). The default population implementation
is updated to make use of the tree codec framework and make optimal
use of the annotations if supported by the chosen codec.

At the moment, two tree codecs are supported: a json-based, with no
support for annotations, and a pickle-based, with support for
annotations.

Note: The internal format of the files read and written by the
pickle-based tree codec are NOT backward compatible with the
serialized trees created with previous versions.

Co-authored-by: Renata Hodovan <reni@inf.u-szeged.hu>

Run Details

1501 of 1701 relevant lines covered (88.24%)

0.88 hits per line

renatahodovan / grammarinator / 6988964202 / 1
84%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 6988964202.1

renatahodovan / grammarinator / 6988964202 / 1 84% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 6988964202.1

renatahodovan / grammarinator / 6988964202 / 1
84%
master: 84%

README BADGES
x