Replace deprecated --enable-stubbing (#133)

model-checking · Oct 17, 2023 · f73b940 · f73b940
1 parent 13cb539
commit f73b940
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 14 deletions.
diff --git a/src/constants.ts b/src/constants.ts
@@ -17,5 +17,5 @@ export namespace KaniArguments {
 	export const testsFlag: string = `--tests`;
 	export const outputFormatFlag: string = `--output-format`;
 	export const unstableFormatFlag: string = `--enable-unstable`;
-	export const stubbingFlag: string = `--enable-stubbing`;
+	export const stubbingFlag: string = `-Z=stubbing`;
 }
diff --git a/src/model/kaniCommandCreate.ts b/src/model/kaniCommandCreate.ts
@@ -72,19 +72,13 @@ function createCommand(
 	testFlag: boolean = false,
 	stubbing_args?: boolean,
 ): string {
-	let harnessCommand = '';
-	if (!testFlag) {
-		if (stubbing_args === undefined || !stubbing_args) {
-			harnessCommand = `${KaniConstants.CargoKaniExecutableName} ${KaniArguments.packageFlag} ${packageName} ${KaniArguments.harnessFlag} ${harnessName}`;
-		} else {
-			harnessCommand = `${KaniConstants.CargoKaniExecutableName} ${KaniArguments.unstableFormatFlag} ${KaniArguments.stubbingFlag} ${KaniArguments.packageFlag} ${packageName} ${KaniArguments.harnessFlag} ${harnessName}`;
-		}
-	} else {
-		if (stubbing_args === undefined || !stubbing_args) {
-			harnessCommand = `${KaniConstants.CargoKaniExecutableName} ${KaniArguments.testsFlag} ${KaniArguments.packageFlag} ${packageName}  ${KaniArguments.harnessFlag} ${harnessName}`;
-		} else {
-			harnessCommand = `${KaniConstants.CargoKaniExecutableName} ${KaniArguments.testsFlag} ${KaniArguments.unstableFormatFlag} ${KaniArguments.stubbingFlag} ${KaniArguments.packageFlag} ${packageName} ${KaniArguments.harnessFlag} ${harnessName}`;
-		}
+	let harnessCommand = `${KaniConstants.CargoKaniExecutableName} ${KaniArguments.packageFlag} ${packageName} ${KaniArguments.harnessFlag} ${harnessName}`;
+	if (testFlag) {
+		harnessCommand = `${harnessCommand} ${KaniArguments.testsFlag}`;
+	}
+
+	if (stubbing_args !== undefined && stubbing_args) {
+		harnessCommand = `${harnessCommand} ${KaniArguments.stubbingFlag}`;
 	}
 
 	return harnessCommand;