Refactor

.gitignore

@@ -25,6 +25,7 @@ xtras/*/
 .settings/*
 .d/*
 gmon.out
+.*DS_Store
 
 # But not these files
 !.gitignore

README.md

@@ -2,7 +2,7 @@
 
 # AVR -- **A**bstractly **V**erifying **R**eachability
 
-<p align="center">(also known as Averroes v2.0)
+<p align="center">(also known as Averroes v2)
 </p>
 
 

avr.py

@@ -9,17 +9,13 @@
 # Author: Aman Goel (amangoel@umich.edu), University of Michigan
 ######################################################################################
 
-import os, sys
+import os
 import subprocess
 import argparse
-import tempfile
-import shutil
 import ntpath
-from distutils import spawn
-import re
 from distutils.spawn import find_executable
 
-version=2.1
+version=2.2
 
 DEFAULT_TOP="-"
 DEFAULT_BIN="build/bin"

avr_pr.py

@@ -8,11 +8,11 @@
 ######################################################################################
 
 
-import os, sys, datetime, time, resource, argparse, shutil, signal
-from subprocess import Popen, PIPE, DEVNULL, STDOUT
+import os, sys, time, argparse, shutil, signal
+from subprocess import Popen, PIPE
 from enum import Enum
 
-version=2.1
+version=2.2
 start_time = time.time()
 
 cmdSuffix = ""