diff options
Diffstat (limited to 'test/instrumented/srt.patch')
-rw-r--r-- | test/instrumented/srt.patch | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/test/instrumented/srt.patch b/test/instrumented/srt.patch index 8d08550165..366763e7f9 100644 --- a/test/instrumented/srt.patch +++ b/test/instrumented/srt.patch @@ -1,26 +1,26 @@ 9a10,11 > /* INSTRUMENTED VERSION */ > -43c45,48 +44c46,49 < def isTuple(x: Any) = x != null && tupleNames(x.getClass.getName) --- > var arrayApplyCount = 0 > var arrayUpdateCount = 0 > > def isTuple(x: Any) = tupleNames(x.getClass.getName) -75c80,82 +76c81,83 < def array_apply(xs: AnyRef, idx: Int): Any = xs match { --- > def array_apply(xs: AnyRef, idx: Int): Any = { > arrayApplyCount += 1 > xs match { -87a95 +88a96 > } -90c98,100 +91c99,101 < def array_update(xs: AnyRef, idx: Int, value: Any): Unit = xs match { --- > def array_update(xs: AnyRef, idx: Int, value: Any): Unit = { > arrayUpdateCount += 1 > xs match { -101a112 +102a113 > } |