Stash temp changes

aman-goel · Aug 26, 2024 · 48518dc · 48518dc
1 parent fac9c3b
commit 48518dc
Show file tree

Hide file tree

Showing 6 changed files with 1,689 additions and 1,442 deletions.
diff --git a/src/reach/avr_config.cpp b/src/reach/avr_config.cpp
@@ -26,7 +26,7 @@ int Config::g_forward_check = 0;
 int Config::g_fineness = 0;
 int Config::g_lazy_assume = 0;
 
-bool Config::g_uf_unordered = false;
+bool Config::g_uf_propagate = true;
 bool Config::g_uf_heavy_only = false;
 bool Config::g_uf_no_bitwise = false;
 bool Config::g_uf_no_sext = false;
@@ -247,8 +247,8 @@ void Config::set_abstraction(string& name) {
 	g_ab_interpret_excc = LEVEL_EXCC_DEFAULT;
 
 	{
-		if (name.find(NAME_UF_UNORDERED) != string::npos)
-			g_uf_unordered = !g_uf_unordered;
+		if (name.find(NAME_UF_PROPAGATE) != string::npos)
+			g_uf_propagate = !g_uf_propagate;
 		if (name.find(NAME_UF_HEAVY_ONLY) != string::npos)
 			g_uf_heavy_only = !g_uf_heavy_only;
 		if (name.find(NAME_UF_NO_BITWISE) != string::npos)
@@ -298,7 +298,7 @@ void Config::set_abstraction(string& name) {
 														 << (g_ab_interpret_limit == 0?"":to_string(g_ab_interpret_limit))
 														 << ((g_ab_interpret_excc != LEVEL_EXCC_DEFAULT)?"+ec"+to_string(g_ab_interpret_excc):"")
 														 << (g_fineness != FINENESS_DEFAULT?"+l"+to_string(g_fineness):"")
-														 << (g_uf_unordered?"+unordered":"")
+														 << (g_uf_propagate?"+propagate":"")
 														 << (g_uf_heavy_only?"+heavy":"")
 														 << (g_uf_no_bitwise?"+nobitwise":"")
 														 << (g_uf_no_sext?"+nosignex":"")

diff --git a/src/reach/avr_config.h b/src/reach/avr_config.h
@@ -175,7 +175,7 @@
 #define NAME_SABV   "sa"
 #define NAME_EXCC   "ec"
 
-#define NAME_UF_UNORDERED   "+unordered"
+#define NAME_UF_PROPAGATE   "+propagate"
 #define NAME_UF_HEAVY_ONLY   "+heavy"
 #define NAME_UF_NO_BITWISE  "+nobitwise"
 #define NAME_UF_NO_SEXT     "+nosignex"
@@ -263,7 +263,7 @@ class Config {
 	static int g_forward_check;
 	static int g_fineness;
 	static int g_lazy_assume;
-	static bool g_uf_unordered;
+	static bool g_uf_propagate;
 	static bool g_uf_heavy_only;
 	static bool g_uf_no_bitwise;
 	static bool g_uf_no_sext;