Print error message when no user information is given to scripts/cpa_web_cloud.py (!103) · Merge requests · SoSy-Lab / Software / CPAchecker

Zhu Yang requested to merge 640-error-when-no-cloudUser into trunk Jan 25, 2023

When no user information is given to scripts/cpa_web_cloud.py, print the error message No user information for the VerifierCloud is provided. Please specify using --cloudUser.

Print error message when no user information is given to scripts/cpa_web_cloud.py

Merge request reports