fix bugs on the flow down rule and start annotating ssjava class library again

[IRC.git] / Robust / src / Tests / ssJava / flowdown / test.java

diff --git a/Robust/src/Tests/ssJava/flowdown/test.java b/Robust/src/Tests/ssJava/flowdown/test.java
index 605957b3458e6c0828371b82612bdb4404938ab7..46dfb95d582e4893817c05ddafefecd1f315fe0c 100644 (file)
--- a/Robust/src/Tests/ssJava/flowdown/test.java
+++ b/Robust/src/Tests/ssJava/flowdown/test.java
@@ -140,6 +140,7 @@ class Foo{
 }
 
 @LATTICE("BC<BB,BB<BA,BB*")
+@METHODDEFAULT("BARMD_L<BARMD_H,THISLOC=BARMD_H")
 class Bar{
     @LOC("BA") int a;
     @LOC("BB") int b2;