add a new test case for inference
authoryeom <yeom>
Thu, 22 Mar 2012 18:40:04 +0000 (18:40 +0000)
committeryeom <yeom>
Thu, 22 Mar 2012 18:40:04 +0000 (18:40 +0000)
commitb6a17c0c4e226412287f9144bde4cc114fe68b58
tree92051f1f4bf209cea54786bb1eb79e104363c57a
parent0cb8508d84840263d5b8e83594407bd689521f91
add a new test case for inference
Robust/src/Tests/ssJava/infer/makefile
Robust/src/Tests/ssJava/infer/test.java
Robust/src/Tests/ssJava/mp3decoder/LayerIIIDecoder.java
Robust/src/Tests/ssJava/mp3decoder/focus.mp3 [new file with mode: 0644]
Robust/src/Tests/ssJava/mp3decoder/makefile
Robust/src/Tests/ssJava/mp3decoder/outputfocusmp3 [new file with mode: 0644]
Robust/src/Tests/ssJava/mp3decoder/ssoutput [new file with mode: 0644]