My favorites | Sign in
Project Home Wiki Issues Source
READ-ONLY: This project has been archived. For more information see this post.
Search
for
  Advanced search   Search tips   Subscriptions

Issue 73 attachment: StateTest.java (216 bytes)

1
2
3
4
5
6
7
8
9
10
import edu.cmu.cs.plural.annot.ClassStates;
import edu.cmu.cs.plural.annot.State;
import edu.cmu.cs.plural.annot.States;

@ClassStates(@State(name="alive"))
@States({"alive"})
public class StateTest {


}
Powered by Google Project Hosting