Commit 6d4b763

authored and

committed

Array methods: push, pop, fill, shift, unshift

1 parent 63db70a commit 6d4b763Copy full SHA for 6d4b763

6 files changed

+627

-179

lines changed

usvm-ts/src
- main/kotlin/org/usvm/machine
  - expr
    - CallApproximations.kt
    - TsExprResolver.kt
  - interpreter
    - TsInterpreter.kt
- test
  - kotlin/org/usvm
    - project
      - DemoCalc.kt
    - samples/arrays
      - ArraysMethods.kt
  - resources/samples/arrays
    - ArraysMethods.ts

6 files changed

+627

-179

lines changed

Comments

(0)