Regression Test Gemara - HodofHod/SE-Modifications GitHub Wiki
Regression Testing for Syntax Script:
Gemara:
Valid side A:
`[g Ber. 3A]` == [g Ber. 3A]
`[g Ber. 3A tul]` == [g Ber. 3A tul]
`[g Ber. 3A ul]` == [g Ber. 3A ul]
`[g Ber. 3A tl]` == [g Ber. 3A tl]
`[g Ber. 3A l]` == [g Ber. 3A l]
`[g Ber. 3A tu]` == [g Ber. 3A tu]
`[g Ber. 3A u]` == [g Ber. 3A u]
`[g Ber. 3A t]` == [g Ber. 3A t]
Valid side B:
`[g Ber. 3B tul]` == [g Ber. 3B tul]
`[g Ber. 3B ul]` == [g Ber. 3B ul]
`[g Ber. 3B tl]` == [g Ber. 3B tl]
`[g Ber. 3B l]` == [g Ber. 3B l]
`[g Ber. 3B tu]` == [g Ber. 3B tu]
`[g Ber. 3B u]` == [g Ber. 3B u]
`[g Ber. 3B t]` == [g Ber. 3B t]
Ambiguous:
`[g Babba 4B]` == [g Babba 4B]
`[g Babba 4B tul]` == [g Babba 4B tul]
`[g Babba 4B ul]` == [g Babba 4B ul]
`[g Babba 4B tl]` == [g Babba 4B tl]
`[g Babba 4B l]` == [g Babba 4B l]
`[g Babba 4B tu]` == [g Babba 4B tu]
`[g Babba 4B u]` == [g Babba 4B u]
`[g Babba 4B t]` == [g Babba 4B t]
Invalid side A:
`[g Ber. 100A]` == [g Ber. 100A]
`[g Ber. 100A tul]` == [g Ber. 100A tul]
`[g Ber. 100A ul]` == [g Ber. 100A ul]
`[g Ber. 100A tl]` == [g Ber. 100A tl]
`[g Ber. 100A l]` == [g Ber. 100A l]
`[g Ber. 100A tu]` == [g Ber. 100A tu]
`[g Ber. 100A u]` == [g Ber. 100A u]
`[g Ber. 100A t]` == [g Ber. 100A t]
Invalid side B:
`[g Ber. 100B]` == [g Ber. 100B]
`[g Ber. 100B tul]` == [g Ber. 100B tul]
`[g Ber. 100B ul]` == [g Ber. 100B ul]
`[g Ber. 100B tl]` == [g Ber. 100B tl]
`[g Ber. 100B l]` == [g Ber. 100B l]
`[g Ber. 100B tu]` == [g Ber. 100B tu]
`[g Ber. 100B u]` == [g Ber. 100B u]
`[g Ber. 100B t]` == [g Ber. 100B t]
Daf 1A (invalid):
`[g Ber. 1A]` == [g Ber. 1A]
`[g Ber. 1A tul]` == [g Ber. 1A tul]
`[g Ber. 1A ul]` == [g Ber. 1A ul]
`[g Ber. 1A tl]` == [g Ber. 1A tl]
`[g Ber. 1A l]` == [g Ber. 1A l]
`[g Ber. 1A tu]` == [g Ber. 1A tu]
`[g Ber. 1A u]` == [g Ber. 1A u]
`[g Ber. 1A t]` == [g Ber. 1A t]
Daf 1B (invalid):
`[g Ber. 1B]` == [g Ber. 1B]
`[g Ber. 1B tul]` == [g Ber. 1B tul]
`[g Ber. 1B ul]` == [g Ber. 1B ul]
`[g Ber. 1B tl]` == [g Ber. 1B tl]
`[g Ber. 1B l]` == [g Ber. 1B l]
`[g Ber. 1B tu]` == [g Ber. 1B tu]
`[g Ber. 1B u]` == [g Ber. 1B u]
`[g Ber. 1B t]` == [g Ber. 1B t]