14407473375
88%

Ran 11 Apr 2025 04:25PM UTC

Jobs 1

Files 518

Run time 2min

Badge

Embed ▾

Committed 11 Apr 2025 04:13PM UTC coverage: 87.486% (-0.009%) from 87.495%

Build # 14407473375

Build Type

push

github

Committed by

sergepetrenko

Commit Message

proofs/tla: add WIP modules

This commit adds modules, which are still in progress.
All of them, excluding limbo, must be rewritten using states to
allow proper testing and they must also be tested. Otherwise,
it's impossible to make the full tarantool specification work.

Closes #5206

NO_CHANGELOG=proofs
NO_TEST=later
NO_DOC=later

Run Details

70317 of 123997 branches covered (56.71%)

103443 of 118240 relevant lines covered (87.49%)

2905676.15 hits per line

Uncovered Existing Lines

Lines	Coverage	∆	File
1	88.55	-0.6%	src/box/engine.c
1	95.31	-1.56%	src/box/engine.h
1	95.36	-0.31%	src/box/raft.c
1	93.53	-0.14%	src/box/txn_limbo.c
1	90.14	-0.08%	src/box/vy_log.c
1	95.74	-0.53%	src/box/vy_range.c
1	84.32	0.24%	src/box/xlog.c
1	87.5	-1.59%	src/box/xlog.h
1	94.64	0.24%	src/box/xrow_update_field.c
1	90.38	-1.92%	src/lib/core/trigger.cc
2	90.97	0.06%	src/box/box.cc
2	92.54	0.04%	src/box/vinyl.c
2	87.57	-0.07%	src/box/vy_run.c
2	92.94	-0.18%	src/lib/core/fiber.c
2	85.13	-0.27%	src/lib/core/say.c
2	95.45	-4.55%	src/lib/json/json.h
4	89.14	-0.22%	src/box/xrow.c
5	96.95	-0.51%	src/lib/msgpuck/msgpuck.h
6	95.2	-1.25%	src/box/vy_read_iterator.c
8	60.42	-5.56%	src/lib/core/fio.c

Jobs

ID	Job ID	Ran	Files	Coverage
1	14407473375.1	11 Apr 2025 04:25PM UTC	518	87.49	GitHub Action Run

tarantool / tarantool / 14407473375
88%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build 14407473375

tarantool / tarantool / 14407473375 88%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build 14407473375

tarantool / tarantool / 14407473375
88%

README BADGES
x