21389044023

Committed 27 Jan 2026 07:54AM UTC coverage: 67.218%. First build

Build Type

push

github

Committed by

Commit Message

Kick off (#1)

This is the first version ready for reviews.

Run Details

935 of 1391 new or added lines in 12 files covered. (67.22%)

935 of 1391 relevant lines covered (67.22%)

2.02 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

76.54

/aas_smt_codegen/specific_implementations.py