diff --git a/backends/bmv2/run-bmv2-test.py b/backends/bmv2/run-bmv2-test.py index 4a178312d8f..1146eaa0bf1 100755 --- a/backends/bmv2/run-bmv2-test.py +++ b/backends/bmv2/run-bmv2-test.py @@ -282,7 +282,7 @@ def process_file(options, argv): if not os.path.isfile(options.p4filename): raise Exception("No such file " + options.p4filename) args = ["./p4c-bm2-ss", "-o", jsonfile] + options.compilerOptions - if "p4_14_samples" in options.p4filename or "v1_samples" in options.p4filename: + if "p4_14_samples" in options.p4filename or "p4_14" in options.p4filename: args.extend(["--p4v", "1.0"]); args.extend(argv) # includes p4filename if options.runDebugger: diff --git a/backends/p4test/run-p4-sample.py b/backends/p4test/run-p4-sample.py index c8d16b6eab9..fdad9a6c301 100755 --- a/backends/p4test/run-p4-sample.py +++ b/backends/p4test/run-p4-sample.py @@ -204,7 +204,7 @@ def process_file(options, argv): args = ["./p4test", "--pp", ppfile, "--dump", tmpdir, "--top4", referenceOutputs, "--testJson"] + options.compilerOptions - if "14_samples" in options.p4filename or "v1_samples" in options.p4filename: + if "14_samples" in options.p4filename or "p4_14" in options.p4filename: args.extend(["--p4-14"]); args.extend(argv) if options.runDebugger: