Merge pull request #37 from Certora/uri/change_conf_file_suffix

renamed all conf files to gconf CERT-4617
Certora · Jan 4, 2024 · 862cd0f · 862cd0f
2 parents 5858eb3 + f98f401
commit 862cd0f
Show file tree

Hide file tree

Showing 12 changed files with 6 additions and 6 deletions.
diff --git a/benchmarks/config-jsons/all.json → benchmarks/config-jsons/all.gconf b/benchmarks/config-jsons/all.json → benchmarks/config-jsons/all.gconf
diff --git a/...ks/config-jsons/multiple-contracts-1.json → ...s/config-jsons/multiple-contracts-1.gconf b/...ks/config-jsons/multiple-contracts-1.json → ...s/config-jsons/multiple-contracts-1.gconf
diff --git a/...ks/config-jsons/multiple-contracts-2.json → ...s/config-jsons/multiple-contracts-2.gconf b/...ks/config-jsons/multiple-contracts-2.json → ...s/config-jsons/multiple-contracts-2.gconf
diff --git a/...ks/config-jsons/multiple-contracts-3.json → ...s/config-jsons/multiple-contracts-3.gconf b/...ks/config-jsons/multiple-contracts-3.json → ...s/config-jsons/multiple-contracts-3.gconf
diff --git a/...ks/config-jsons/multiple-contracts-4.json → ...s/config-jsons/multiple-contracts-4.gconf b/...ks/config-jsons/multiple-contracts-4.json → ...s/config-jsons/multiple-contracts-4.gconf
diff --git a/benchmarks/config-jsons/sanity-config.json → benchmarks/config-jsons/sanity-config.gconf b/benchmarks/config-jsons/sanity-config.json → benchmarks/config-jsons/sanity-config.gconf
diff --git a/benchmarks/config-jsons/test1.json → benchmarks/config-jsons/test1.gconf b/benchmarks/config-jsons/test1.json → benchmarks/config-jsons/test1.gconf
diff --git a/benchmarks/config-jsons/test2.json → benchmarks/config-jsons/test2.gconf b/benchmarks/config-jsons/test2.json → benchmarks/config-jsons/test2.gconf
diff --git a/benchmarks/config-jsons/test3.json → benchmarks/config-jsons/test3.gconf b/benchmarks/config-jsons/test3.json → benchmarks/config-jsons/test3.gconf
diff --git a/benchmarks/config-jsons/test4.json → benchmarks/config-jsons/test4.gconf b/benchmarks/config-jsons/test4.json → benchmarks/config-jsons/test4.gconf
diff --git a/benchmarks/config-jsons/test5.json → benchmarks/config-jsons/test5.gconf b/benchmarks/config-jsons/test5.json → benchmarks/config-jsons/test5.gconf
diff --git 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 */