I have recently upgraded Pufferfish to version “pufferfish2-1” and I noticed that my previously working definition is no longer working. I went back to the previous version and it works fine.
I think the bug is related to “Closet Vector” battery.
Can anybody confirm (or not) my assumption?