X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FTests%2FssJava%2Fmp3decoder%2FDecoder.java;fp=Robust%2Fsrc%2FTests%2FssJava%2Fmp3decoder%2FDecoder.java;h=12287b1c94b781f71e4386edcfaa535aa79355d1;hp=944868477e6c7bb3a0a154121b9436ff5ac92020;hb=95ade08265a30f939a5f49aa3d25db6152d0e6fd;hpb=7ce7b388724430b052de7ce549cc724e9e7cdaec diff --git a/Robust/src/Tests/ssJava/mp3decoder/Decoder.java b/Robust/src/Tests/ssJava/mp3decoder/Decoder.java index 94486847..12287b1c 100644 --- a/Robust/src/Tests/ssJava/mp3decoder/Decoder.java +++ b/Robust/src/Tests/ssJava/mp3decoder/Decoder.java @@ -127,6 +127,35 @@ public class Decoder implements DecoderErrors { // if (filter2 != null) // filter2.setEQ(factors); // } + @LATTICE("THIS