vermaseren / form / 9056601160

54%

master: 51%

Build Type

push

github

Committed by tueda

Commit Message

Change EndSort type for transform statements

Since the transform statements are sorting into the workspace,
and might have to merge patches, make them use a par=1 EndSort.
This commit makes this change for all transform statements, though
only mularg is going to produce an explosion of terms here.

This fixes #230 and causes #183 to crash with a useful error
(Term too complex during normalization).

Run Details

4 of 6 new or added lines in 1 file covered. (66.67%)

27 existing lines in 1 file now uncovered.

38589 of 74410 relevant lines covered (51.86%)

958967.71 hits per line