more direct unlimited smt_timeout;
update of certificates: generated command-line options are part of input / digest;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEa40e69fde2b4: clarified smt: support Timeout.ignored and Timeout.scale_time;
- Branches
- Unknown
- Tags