[449] 2026-09-28 15:11:57 finnw wrote:

comment - Duplicated test case

This test case appears twice:

     T{      -1 S>D             -1 SM/REM ->  0       1 }T