[TS] Less expression

[CaelmBleidd]

< and > operators extended support

[Copilot]

Pull Request Overview

This PR introduces a new TypeScript sample for < comparisons across several types, adds corresponding Kotlin tests, refactors the binary-operator backend to unify fake-object logic, renames a generic parameter for clarity, and updates a demo test target.

• Added Less.ts with lessNumbers, lessBooleans, lessMixed, lessRefs, and lessUnknown.
• Added Kotlin Less.kt tests to exercise the new TS methods.
• Refactored TsBinaryOperator implementations to use commonResolveFakeObject.
• Renamed generic parameter in EtsFakeType.kt and updated the DemoPhotos test to target onCreate.

Reviewed Changes

Copilot reviewed 5 out of 5 changed files in this pull request and generated 2 comments.

Show a summary per file

File	Description
usvm-ts/src/test/resources/samples/operators/Less.ts	New TS sample for < operator on numbers, booleans, mixed, refs, unknown
usvm-ts/src/test/kotlin/org/usvm/samples/operators/Less.kt	Kotlin tests added for each lessX method
usvm-ts/src/test/kotlin/org/usvm/project/DemoPhotos.kt	Updated test selection from onSelect/AlbumSetPage to onCreate/EntryAbility
usvm-ts/src/main/kotlin/org/usvm/machine/types/EtsFakeType.kt	Renamed type-parameter from Sort to T in ExprWithTypeConstraint
usvm-ts/src/main/kotlin/org/usvm/machine/operator/TsBinaryOperator.kt	Consolidated fake-object resolution into commonResolveFakeObject

Comments suppressed due to low confidence (4)

usvm-ts/src/test/kotlin/org/usvm/project/DemoPhotos.kt:108

• [nitpick] The test function name (test on particular method) no longer matches the updated target (onCreate/EntryAbility); consider renaming the test or updating its comment to reflect the new behavior.

            .single { it.name == "onCreate" && it.enclosingClass?.name == "EntryAbility" }

usvm-ts/src/main/kotlin/org/usvm/machine/operator/TsBinaryOperator.kt:102

• [nitpick] Add KDoc for commonResolveFakeObject explaining the purpose of bottomValueSort and the reduce lambda to improve maintainability.

    fun <R : USort> TsBinaryOperator.commonResolveFakeObject(

usvm-ts/src/main/kotlin/org/usvm/machine/types/EtsFakeType.kt:46

• [nitpick] The generic parameter T is less descriptive than the previous Sort; consider using a more meaningful name (e.g., Sort) for clarity.

data class ExprWithTypeConstraint<T : USort>(

usvm-ts/src/test/kotlin/org/usvm/samples/operators/Less.kt:50

• The testLessRefs and testLessUnknown calls have no property assertions; add expected-result lambdas to verify behavior for reference and unknown comparisons.

        discoverProperties<TsTestValue.TsClass, TsTestValue.TsClass, TsTestValue.TsBoolean>(

[Lipen]

Good, but some style changes are necessary! 🦀