Commit 915e31f

authored and

committed

Add support for '<' operator

1 parent 4c0d9fb commit 915e31fCopy full SHA for 915e31f

5 files changed

+437

-473

lines changed

usvm-ts/src
- main/kotlin/org/usvm/machine/operator
  - TsBinaryOperator.kt
- test
  - kotlin/org/usvm
    - project
      - DemoPhotos.kt
    - samples/operators
      - Add.kt
      - Less.kt
  - resources/samples/operators
    - Less.ts

5 files changed

+437

-473

lines changed

Comments

(0)