Skip to content

Commit

Permalink
added commandInterface text description for FetchConstraints
Browse files Browse the repository at this point in the history
  • Loading branch information
liy94 committed Jul 1, 2024
1 parent d9682fe commit ccb2009
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions Src/CommandLine/CommandInterface.cs
Original file line number Diff line number Diff line change
Expand Up @@ -65,6 +65,7 @@ private enum WatchLevelKind { Off, On, Prompt };
private const string WatchMsg = "Use: watch [off | on | prompt] to control watch behavior";
private const string CoreMsg = "Prints reduced rule set for domains / transforms. Use: core module_name";
private const string DowngradeMsg = "Attempts to downgrade a (partial) model to Formula V1. Use: downgrade module_name";
private const string FetchConstraints = "Attemps to fetch the constraints in the domain"

Check failure on line 68 in Src/CommandLine/CommandInterface.cs

View workflow job for this annotation

GitHub Actions / build-macos

; expected

Check failure on line 68 in Src/CommandLine/CommandInterface.cs

View workflow job for this annotation

GitHub Actions / build-macos

; expected

Check failure on line 68 in Src/CommandLine/CommandInterface.cs

View workflow job for this annotation

GitHub Actions / build-macos

; expected

Check failure on line 68 in Src/CommandLine/CommandInterface.cs

View workflow job for this annotation

GitHub Actions / build-macos

; expected

Check failure on line 68 in Src/CommandLine/CommandInterface.cs

View workflow job for this annotation

GitHub Actions / build-macos

; expected

Check failure on line 68 in Src/CommandLine/CommandInterface.cs

View workflow job for this annotation

GitHub Actions / build-macos

; expected

Check failure on line 68 in Src/CommandLine/CommandInterface.cs

View workflow job for this annotation

GitHub Actions / build (ubuntu-latest)

; expected

Check failure on line 68 in Src/CommandLine/CommandInterface.cs

View workflow job for this annotation

GitHub Actions / build (ubuntu-latest)

; expected

Check failure on line 68 in Src/CommandLine/CommandInterface.cs

View workflow job for this annotation

GitHub Actions / build (ubuntu-latest)

; expected

Check failure on line 68 in Src/CommandLine/CommandInterface.cs

View workflow job for this annotation

GitHub Actions / build (ubuntu-latest)

; expected

Check failure on line 68 in Src/CommandLine/CommandInterface.cs

View workflow job for this annotation

GitHub Actions / build (ubuntu-latest)

; expected

Check failure on line 68 in Src/CommandLine/CommandInterface.cs

View workflow job for this annotation

GitHub Actions / build (ubuntu-latest)

; expected

private SpinLock cmdLock = new SpinLock();
private bool isCmdLocked = false;
Expand Down

0 comments on commit ccb2009

Please sign in to comment.