diff options
Diffstat (limited to 'Source/GPUVerify/CommandLineOptions.cs')
| -rw-r--r-- | Source/GPUVerify/CommandLineOptions.cs | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/Source/GPUVerify/CommandLineOptions.cs b/Source/GPUVerify/CommandLineOptions.cs index 85d559d0..f28535c2 100644 --- a/Source/GPUVerify/CommandLineOptions.cs +++ b/Source/GPUVerify/CommandLineOptions.cs @@ -35,8 +35,8 @@ namespace GPUVerify public static bool NoLoopPredicateInvariants = false;
- public static bool Unstructured = false;
- public static bool SmartPredication = false;
+ public static bool Unstructured = true;
+ public static bool SmartPredication = true;
public static bool OnlyIntraGroupRaceChecking = false;
@@ -161,14 +161,14 @@ namespace GPUVerify NoLoopPredicateInvariants = true;
break;
- case "-unstructured":
- case "/unstructured":
- Unstructured = true;
+ case "-structured":
+ case "/structured":
+ Unstructured = false;
break;
- case "-smartPredication":
- case "/smartPredication":
- SmartPredication = true;
+ case "-noSmartPredication":
+ case "/noSmartPredication":
+ SmartPredication = false;
break;
case "-onlyIntraGroupRaceChecking":
|