formalsec / smtml / 322

45%

Build Type

push

github

Committed by filipeom

Commit Message

Standardize raw constructor naming and improve documentation

The constructors responsible for building raw nodes without simplification,
previously denoted by a trailing apostrophe (e.g., `unop'`), have been
renamed to follow the `raw_name` convention (e.g., `raw_unop`).

Furthermore, the documentation for these raw functions has been updated to
explicitly describe their behavior and provide examples that highlight their
distinction from the simplifying constructors.

Run Details

18 of 35 new or added lines in 1 file covered. (51.43%)

71 existing lines in 1 file now uncovered.

723 of 1700 relevant lines covered (42.53%)

7.48 hits per line