X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FBenchmarks%2FSSJava%2FJavaNator%2Finputshort.dat;fp=Robust%2Fsrc%2FBenchmarks%2FSSJava%2FJavaNator%2Finputshort.dat;h=5f5f63a425584b0ef1e90061533d1020de05548d;hp=0000000000000000000000000000000000000000;hb=0cb8508d84840263d5b8e83594407bd689521f91;hpb=4f14d8d6bc422295a297396b7174cf2d87de04a1

diff --git a/Robust/src/Benchmarks/SSJava/JavaNator/inputshort.dat b/Robust/src/Benchmarks/SSJava/JavaNator/inputshort.dat
new file mode 100644
index 00000000..5f5f63a4
--- /dev/null
+++ b/Robust/src/Benchmarks/SSJava/JavaNator/inputshort.dat
@@ -0,0 +1,18 @@
+99
+99
+99
+99
+97
+97
+97
+97
+97
+68
+68
+96
+99
+99
+96
+99
+
+