1 files changed, 23 insertions, 0 deletions
diff --git a/test/instrumented/srt.patch b/test/instrumented/srt.patch
new file mode 100644
index 0000000000..2f472ff1c0
--- /dev/null
+++ b/test/instrumented/srt.patch
@@ -0,0 +1,23 @@
+9a10,11
+> /* INSTRUMENTED VERSION */
+> 
+33a36,38
+>   var arrayApplyCount = 0
+>   var arrayUpdateCount = 0
+> 
+35c40,42
+<   def array_apply(xs: AnyRef, idx: Int): Any = xs match {
+---
+>   def array_apply(xs: AnyRef, idx: Int): Any = {
+>     arrayApplyCount += 1
+>     xs match {
+47a55
+>   }
+50c58,60
+<   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 {
+62a73
+>   }