1#!/usr/local/bin/python3.8
2import os
3import subprocess
4import sys
5import math
6import cmpt
7
8# Usage: python inttest.py ot-tau15 benchmark/ circuit
9
10exe=sys.argv[1]
11dir=sys.argv[2]
12tgt=sys.argv[3]
13
14os.chdir(dir + '/' + tgt)
15
16tau2015 = tgt + ".tau2015"
17timing  = tgt + ".timing"
18ops     = tgt + ".ops"
19golden  = tgt + ".output"
20output  = ".output"
21
22# execute the tau15 binary to generate timing report
23subprocess.call([exe, tau2015, timing, ops, output])
24
25# compare the output with the golden
26cmpt.compare_timing(output, golden)
27
28
29
30
31
32
33