Searched refs:sequence (Results 1 – 5 of 5) sorted by relevance
| /build/bazel/scripts/incremental_build/ |
| D | cuj_catalog.py | 283 cuj.sequence(step1.verify, merge_prover),
288 cuj.sequence(step2.verify, merge_disprover),
319 cuj.sequence(step1.verify, merge_prover),
324 cuj.sequence(step2.verify, merge_disprover),
|
| D | cuj.py | 139 def sequence(*vs: Callable[[], None]) -> Callable[[], None]: function
|
| D | clone.py | 335 apply_change=cuj.sequence(
349 apply_change=cuj.sequence(
|
| /build/bazel/scripts/milestone-2/ |
| D | demo.sh | 33 ./demo.sh full -- runs the generate, query and build steps in sequence.
|
| /build/make/core/ |
| D | product_config.rbc | 590 which stands for any sequence of characters.
775 replaces any sequence of whitespace characters with with a single space.
|