Minor updates

aman-goel · Sep 10, 2024 · 170030a · 170030a
1 parent d687a1b
commit 170030a
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 13 deletions.
diff --git a/avr_pr.py b/avr_pr.py
@@ -12,7 +12,7 @@
 from subprocess import Popen, PIPE
 from enum import Enum
 
-version=2.2
+version="2.2.3"
 start_time = time.time()
 
 cmdSuffix = ""

diff --git a/src/reach/avr_word_netlist.cpp b/src/reach/avr_word_netlist.cpp
@@ -2217,9 +2217,9 @@ void OpInst::propagate_uf() {
       ;
   }
 
-  if (this != this->get_simple()) {
-	cout << "uf_prop: " << *this << " -> " << *(this->t_simple) << endl;
-  }
+//   if (this != this->get_simple()) {
+// 	cout << "uf_prop: " << *this << " -> " << *(this->t_simple) << endl;
+//   }
 }
 
 bool OpInst::is_heavy_uf() {

diff --git a/workers.txt b/workers.txt
@@ -1,16 +1,16 @@
+python3 avr.py --backend y2 --split --abstract sa+uf+nopropagate
 python3 avr.py --backend y2 --split
 python3 avr.py --kind --abstract sa --backend y2 --split
+python3 avr.py --kind --abstract sa --backend y2
 python3 avr.py --abstract sa
-python3 avr.py --kind --abstract sa --backend bt
-python3 avr.py --bmc --abstract sa --backend bt --split
 python3 avr.py --abstract sa8 --level 5 --granularity 3 --forward 1 --interpol 1
-python3 avr.py --abstract sa4 --backend y2 --split --forward 1 --interpol 1
+python3 avr.py --bmc --abstract sa --backend y2 --split
 python3 avr.py
-python3 avr.py --abstract sa8 --backend y2 --split --interpol 1
-python3 avr.py --split --level 0
-python3 avr.py --bmc --abstract sa+heavy --backend bt
-python3 avr.py --bmc --abstract sa --backend y2
-python3 avr.py --kind --abstract sa --backend bt --split
+python3 avr.py --bmc --abstract sa --backend bt
+python3 avr.py --kind --abstract sa --backend bt
+python3 avr.py --abstract sa4 --backend y2 --split --forward 1 --interpol 1
 python3 avr.py --abstract sa+heavy --backend y2 --split
+python3 avr.py --bmc --abstract sa+heavy --backend bt
+python3 avr.py --split --level 0
 python3 avr.py --abstract sa16 --backend y2 --split
-python3 avr.py --kind --abstract sa --backend y2
+python3 avr.py --abstract sa8 --backend y2 --split --interpol 1