README

Run "make" to run on normal JVM, "make jpf" to run on JPF.

EnumTest.java

import java.util.EnumSet;

public class EnumTest {
  enum Option {
    A
  }

  public static void main(String[] args) {
    EnumSet<Option> options = EnumSet.allOf(Option.class);

    for (Option option : options) {
      assert option != null;
    }
  }
}

jpf.properties

enum-test = ${config_path}
enum-test.classpath = ${config_path}

Makefile

RM=rm -f

JAVAC=javac
JAVAC_FLAGS=-g

JAVA=java
JAVA_FLAGS=-ea

JPF=~/jpf/jpf-core/bin/jpf

SOURCES=EnumTest.java
CLASSES=$(SOURCES:.java=.class)

all: run

run: $(CLASSES)
	$(JAVA) $(JAVA_FLAGS) `basename $< .class`

jpf: $(CLASSES)
	$(JPF) `basename $< .class`

.SUFFIXES:
.SUFFIXES: .java .class

.java.class:
	$(JAVAC) $(JAFAC_FLAG) $<

.PHONY: clean
clean:
	$(RM) *.class