mp3decoder compiled by our research compiler produces the same output that I get...

[IRC.git] / Robust / src / Tests / ssJava / mp3decoder / run

diff --git a/Robust/src/Tests/ssJava/mp3decoder/run b/Robust/src/Tests/ssJava/mp3decoder/run
new file mode 100755 (executable)
index 0000000..4642b81
--- /dev/null
+++ b/Robust/src/Tests/ssJava/mp3decoder/run
@@ -0,0 +1 @@
+./MP3Player.bin focus.mp3
\ No newline at end of file