this tests whether the oracle comparators are working correctly the home page is different every load , but is equivalent when the oracle comparators are functioning . concode_field_sep boolean[] MULTIPLE_INPUT_CHECKBOX concode_elem_sep String[] MULTIPLE_INPUT_TEXT2 concode_elem_sep boolean MANUAL_INPUT_CHECKBOX concode_elem_sep String MANUAL_INPUT_TEXTAREA concode_elem_sep String DONT_CLICK_UNDER_XPATH_ID concode_elem_sep CrawlSession session concode_elem_sep String TITLE_MANUAL_INPUT_RESULT concode_elem_sep String[] MULTIPLE_INPUT_RESULTS concode_elem_sep List<Invariant> violatedInvariants concode_elem_sep String VIOLATED_INVARIANT_DESCRIPTION concode_elem_sep String CLICK_TEXT concode_elem_sep String DONT_CLICK_TEXT concode_elem_sep String MANUAL_INPUT_TEXT2 concode_elem_sep AtomicBoolean HAS_FINISHED concode_elem_sep int VIOLATED_INVARIANTS concode_elem_sep boolean violatedInvariantStateIsCorrect concode_elem_sep Logger LOG concode_elem_sep String[] MULTIPLE_INPUT_TEXTAREA concode_elem_sep AtomicBoolean HAS_RUN concode_elem_sep String ATTRIBUTE concode_elem_sep String INVARIANT_TEXT concode_elem_sep int CLICKED_CLICK_ME_ELEMENTS concode_elem_sep String[] MULTIPLE_INPUT_TEXT concode_elem_sep String TITLE_MULTIPLE_INPUT_RESULT concode_elem_sep String[] MULTIPLE_INPUT_SELECT concode_elem_sep Timeout timeout concode_elem_sep boolean[] MULTIPLE_INPUT_RADIO concode_elem_sep String TITLE_RESULT_RANDOM_INPUT concode_elem_sep RunWithWebServer WEB_SERVER concode_elem_sep String ILLEGAL_STATE concode_elem_sep boolean MANUAL_INPUT_RADIO concode_elem_sep String CLICK_UNDER_XPATH_ID concode_elem_sep String MANUAL_INPUT_RESULT concode_elem_sep String REGEX_RESULT_RANDOM_INPUT concode_elem_sep String MANUAL_INPUT_SELECT concode_elem_sep String MANUAL_INPUT_TEXT concode_field_sep BrowserConfiguration getBrowserConfiguration concode_elem_sep void testRandomFormInput concode_elem_sep void testManualFormInput concode_elem_sep void testMultipleFormInput concode_elem_sep void addWaitConditions concode_elem_sep void testWaitCondition concode_elem_sep void addInvariants concode_elem_sep void addCrawlConditions concode_elem_sep void testForIllegalStates concode_elem_sep long getTimeOutAfterEvent concode_elem_sep void addOracleComparators concode_elem_sep void testCrawledElements concode_elem_sep void addCrawlElements concode_elem_sep void testInvariants concode_elem_sep long getTimeOutAfterReloadUrl concode_elem_sep void setup concode_elem_sep CrawljaxConfiguration getCrawljaxConfiguration concode_elem_sep void testCorrectStateOnViolatedInvariants concode_elem_sep void addPlugins concode_elem_sep InputSpecification getInputSpecification concode_elem_sep StateFlowGraph getStateFlowGraph
void function ( ) { int loc0 = 0 ; for ( StateVertex loc1 : getStateFlowGraph ( ) . getAllStates ( ) ) { if ( loc1 . getDom ( ) . contains ( "srini_string" ) ) { loc0 ++ ; } } assertTrue ( "srini_string" + loc0 , loc0 == 1 ) ; }