[Tools] fix tv

Author: bongjunj

README.md

@@ -17,6 +17,7 @@ docker run -it optimuzz
 # Inside the docker
 echo $PWD # /home/user/optimuzz
 ./build.sh
+eval $(opam env) # Optimuzz toolchains are installed under the current opam switch
 ```
 
 ### Environment Variables

tools/tv.py

@@ -40,13 +40,14 @@ def run_opt(d: Path, timeout: str = '2s', passes: str = 'instcombine', save_resu
     return None
 
 def run_tv(before: Path, after: Path, timeout: str = '2m', no_undef: bool = False, no_poison: bool = False):
-    tv_args = ['timeout', timeout, 'alive-tv', after.absolute().as_posix(), before.absolute().as_posix()]
+    tv_args = ['timeout', timeout, 'alive-tv', before.absolute().as_posix(), after.absolute().as_posix()]
     if no_undef:
         tv_args.append('--disable-undef-input')
     if no_poison:
         tv_args.append('--disable-poison-input')
     tv_p = sp.run(tv_args, capture_output=True, text=True)
     if "1 incorrect" in tv_p.stdout:
+        print(tv_p.stdout, file=sys.stderr)
         return "incorrect"
     return "pass"
 
@@ -87,7 +88,7 @@ def process_file(target: Path, crash_dir: Path):
 
 
 def postmortem(covers_dir: Path, crash_dir: Path, jobs: int, cont: bool = False):
-    files = [d.absolute() for d in covers_dir.iterdir() if d.suffix == '.ll']
+    files = [d.absolute() for d in covers_dir.iterdir() if d.suffix == '.ll' and 'opt.ll' not in d.name]
     files = unique_sorted_files(files)
     print(f"Found {len(files)} files to process", file=sys.stderr)