renamed all conf files to gconf

Certora · Jan 2, 2024 · c85f18a · c85f18a
1 parent 5858eb3
commit c85f18a
Show file tree

Hide file tree

Showing 11 changed files with 0 additions and 0 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