Merge pull request #2145 from mikomyazaki/2137-run-cct

Helptext for run now mentions coding contracts
This commit is contained in:
hydroflame 2021-12-22 23:20:27 -05:00 committed by GitHub
commit c056ef2854
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -323,7 +323,7 @@ export const HelpTexts: IMap<string[]> = {
run: [
"run [file name] [-t] [num threads] [args...]",
" ",
"Execute a program or a script.",
"Execute a program, script or coding contract.",
" ",
"The '[-t]', '[num threads]', and '[args...]' arguments are only valid when running a script. The '-t' flag is used ",
"to indicate that the script should be run with the specified number of threads. If the flag is omitted, ",