equal
deleted
inserted
replaced
76 "public final static int DEFINITION = 18;" + |
76 "public final static int DEFINITION = 18;" + |
77 "public void aint() { } private void foo() { } }"); |
77 "public void aint() { } private void foo() { } }"); |
78 |
78 |
79 compile(GENSRC.toString(), |
79 compile(GENSRC.toString(), |
80 "-d", BIN.toString(), |
80 "-d", BIN.toString(), |
|
81 "--state-dir=" + BIN, |
81 "-h", HEADERS.toString(), |
82 "-h", HEADERS.toString(), |
82 "-j", "1", |
83 "-j", "1", |
83 SERVER_ARG, |
84 SERVER_ARG, |
84 "--log=debug"); |
85 "--log=debug"); |
85 Map<String,Long> new_bin_state = collectState(BIN); |
86 Map<String,Long> new_bin_state = collectState(BIN); |