From c85f18ad6f6784a3dce910b56170b5ebcd748f48 Mon Sep 17 00:00:00 2001 From: urikirsh Date: Tue, 2 Jan 2024 10:15:13 +0200 Subject: [PATCH 1/2] renamed all conf files to gconf --- benchmarks/config-jsons/{all.json => all.gconf} | 0 .../{multiple-contracts-1.json => multiple-contracts-1.gconf} | 0 .../{multiple-contracts-2.json => multiple-contracts-2.gconf} | 0 .../{multiple-contracts-3.json => multiple-contracts-3.gconf} | 0 .../{multiple-contracts-4.json => multiple-contracts-4.gconf} | 0 .../config-jsons/{sanity-config.json => sanity-config.gconf} | 0 benchmarks/config-jsons/{test1.json => test1.gconf} | 0 benchmarks/config-jsons/{test2.json => test2.gconf} | 0 benchmarks/config-jsons/{test3.json => test3.gconf} | 0 benchmarks/config-jsons/{test4.json => test4.gconf} | 0 benchmarks/config-jsons/{test5.json => test5.gconf} | 0 11 files changed, 0 insertions(+), 0 deletions(-) rename benchmarks/config-jsons/{all.json => all.gconf} (100%) rename benchmarks/config-jsons/{multiple-contracts-1.json => multiple-contracts-1.gconf} (100%) rename benchmarks/config-jsons/{multiple-contracts-2.json => multiple-contracts-2.gconf} (100%) rename benchmarks/config-jsons/{multiple-contracts-3.json => multiple-contracts-3.gconf} (100%) rename benchmarks/config-jsons/{multiple-contracts-4.json => multiple-contracts-4.gconf} (100%) rename benchmarks/config-jsons/{sanity-config.json => sanity-config.gconf} (100%) rename benchmarks/config-jsons/{test1.json => test1.gconf} (100%) rename benchmarks/config-jsons/{test2.json => test2.gconf} (100%) rename benchmarks/config-jsons/{test3.json => test3.gconf} (100%) rename benchmarks/config-jsons/{test4.json => test4.gconf} (100%) rename benchmarks/config-jsons/{test5.json => test5.gconf} (100%) diff --git a/benchmarks/config-jsons/all.json b/benchmarks/config-jsons/all.gconf similarity index 100% rename from benchmarks/config-jsons/all.json rename to benchmarks/config-jsons/all.gconf diff --git a/benchmarks/config-jsons/multiple-contracts-1.json b/benchmarks/config-jsons/multiple-contracts-1.gconf similarity index 100% rename from benchmarks/config-jsons/multiple-contracts-1.json rename to benchmarks/config-jsons/multiple-contracts-1.gconf diff --git a/benchmarks/config-jsons/multiple-contracts-2.json b/benchmarks/config-jsons/multiple-contracts-2.gconf similarity index 100% rename from benchmarks/config-jsons/multiple-contracts-2.json rename to benchmarks/config-jsons/multiple-contracts-2.gconf diff --git a/benchmarks/config-jsons/multiple-contracts-3.json b/benchmarks/config-jsons/multiple-contracts-3.gconf similarity index 100% rename from benchmarks/config-jsons/multiple-contracts-3.json rename to benchmarks/config-jsons/multiple-contracts-3.gconf diff --git a/benchmarks/config-jsons/multiple-contracts-4.json b/benchmarks/config-jsons/multiple-contracts-4.gconf similarity index 100% rename from benchmarks/config-jsons/multiple-contracts-4.json rename to benchmarks/config-jsons/multiple-contracts-4.gconf diff --git a/benchmarks/config-jsons/sanity-config.json b/benchmarks/config-jsons/sanity-config.gconf similarity index 100% rename from benchmarks/config-jsons/sanity-config.json rename to benchmarks/config-jsons/sanity-config.gconf diff --git a/benchmarks/config-jsons/test1.json b/benchmarks/config-jsons/test1.gconf similarity index 100% rename from benchmarks/config-jsons/test1.json rename to benchmarks/config-jsons/test1.gconf diff --git a/benchmarks/config-jsons/test2.json b/benchmarks/config-jsons/test2.gconf similarity index 100% rename from benchmarks/config-jsons/test2.json rename to benchmarks/config-jsons/test2.gconf diff --git a/benchmarks/config-jsons/test3.json b/benchmarks/config-jsons/test3.gconf similarity index 100% rename from benchmarks/config-jsons/test3.json rename to benchmarks/config-jsons/test3.gconf diff --git a/benchmarks/config-jsons/test4.json b/benchmarks/config-jsons/test4.gconf similarity index 100% rename from benchmarks/config-jsons/test4.json rename to benchmarks/config-jsons/test4.gconf diff --git a/benchmarks/config-jsons/test5.json b/benchmarks/config-jsons/test5.gconf similarity index 100% rename from benchmarks/config-jsons/test5.json rename to benchmarks/config-jsons/test5.gconf From f98f401315b546ca793c2dcdec942a7c5f64dc91 Mon Sep 17 00:00:00 2001 From: urikirsh Date: Tue, 2 Jan 2024 10:19:55 +0200 Subject: [PATCH 2/2] updating file suffixes in integration_tests.rs --- tests/integration_tests.rs | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/tests/integration_tests.rs b/tests/integration_tests.rs index 75510e7..65e3341 100644 --- a/tests/integration_tests.rs +++ b/tests/integration_tests.rs @@ -5,12 +5,12 @@ use serde_json; use std::{collections::HashSet, env, error, path::PathBuf}; /// All test cases are generated by running Gambit on the individual files -/// listed in `all.json` and then using `scripts/mutants_log_to_regression.py` +/// listed in `all.gconf` and then using `scripts/mutants_log_to_regression.py` /// to print `gambit_out/mutants.log` as regression test cases #[test] fn test_all() { assert_exact_mutants_from_json( - "all.json", + "all.gconf", &vec![ ("BinaryOpMutation", "+", "-", (7, 10)), ("BinaryOpMutation", "+", "*", (7, 10)), @@ -91,7 +91,7 @@ fn test_all() { #[test] fn multiple_contracts_1() { assert_exact_mutants_from_json( - "multiple-contracts-1.json", + "multiple-contracts-1.gconf", &vec![ //C.get10PowerDecimals ( @@ -124,7 +124,7 @@ fn multiple_contracts_1() { #[test] fn multiple_contracts_2() { assert_exact_mutants_from_json( - "multiple-contracts-2.json", + "multiple-contracts-2.gconf", &vec![ /* Utils.add */ ("BinaryOpMutation", "+", "-", (11, 17)), @@ -150,7 +150,7 @@ fn multiple_contracts_2() { #[test] fn multiple_contracts_3() { assert_exact_mutants_from_json( - "multiple-contracts-3.json", + "multiple-contracts-3.gconf", &vec![ /* Utils.getarray */ /* Utils.add */ @@ -208,7 +208,7 @@ fn multiple_contracts_3() { #[test] fn multiple_contracts_4() { assert_exact_mutants_from_json( - "multiple-contracts-4.json", + "multiple-contracts-4.gconf", &vec![ /* Utils.getarray */ /* Utils.add */