Searched refs:settings (Results 26 - 30 of 30) sorted by relevance

12

/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/
H A Dteststage4.py239 self.assertLen(A.configuration.settings, 1)
240 b_b_str = A.configuration.settings[0]
/seL4-camkes-master/
H A Dgriddle29 EASY_KNOBS="$SOURCE_ROOT"/easy-settings.cmake
241 # CMake lists file, but not an easy settings file.
638 -C "$SOURCE_ROOT/settings.cmake" \
643 # assume we use the project's directory tied to easy-settings.cmake and resolve
650 -C "$PROJECT_DIR/settings.cmake" "$PROJECT_DIR"
652 # This case shouldn't be hit as if $SOURCE_ROOT/easy-settings.cmake doesn't
/seL4-camkes-master/tools/seL4/cmake-tool/
H A Dgriddle29 EASY_KNOBS="$SOURCE_ROOT"/easy-settings.cmake
241 # CMake lists file, but not an easy settings file.
638 -C "$SOURCE_ROOT/settings.cmake" \
643 # assume we use the project's directory tied to easy-settings.cmake and resolve
650 -C "$PROJECT_DIR/settings.cmake" "$PROJECT_DIR"
652 # This case shouldn't be hit as if $SOURCE_ROOT/easy-settings.cmake doesn't
/seL4-camkes-master/projects/lwip/src/netif/ppp/
H A Dpppol2tp.c745 if (!l2tp->ppp->settings.persist && l2tp->sccrq_retried >= PPPOL2TP_MAXSCCRQ) {
H A Dpppoe.c839 if (!sc->pcb->settings.persist && sc->sc_padi_retried >= PPPOE_DISC_MAXPADI) {

Completed in 59 milliseconds

12