-
Petr Pudlak authored
This ensures that the configuration is fully distributed and doesn't change during the verification process. Signed-off-by: Petr Pudlak <pudlak@google.com> Reviewed-by: Klaus Aehlig <aehlig@google.com>
7f8ba25b
This ensures that the configuration is fully distributed and doesn't change during the verification process. Signed-off-by: Petr Pudlak <pudlak@google.com> Reviewed-by: Klaus Aehlig <aehlig@google.com>