自动运行命令并且提取相关信息的python脚本

适用于特定软件特定命令的python脚本，主要是用于自己记忆—》研究方向：逻辑综合

import os, sys
import csv
import re
import argparse

def create_log(tt_name):
  cmd='also -c\ "load ' + tt_name + ';exact_m3ig;quit\" > ./data/' + tt_name + '.log'
  os.system(cmd)

#用于获取真值表
def get_string(tt):
  tt_arr=[]
  tt_str=tt.split()
  #print(tt_str)
  tt_arr=[int(x) for x in tt_str] #转换为数组
  #print(tt_arr)
  flag=0 
  for x in tt_arr:
      if flag < 4:
        if x > 9:
          if x == 10:
            tt_arr[flag]="a"
          if x == 11:
            tt_arr[flag]="b"
          if x == 12:
            tt_arr[flag]="c"
          if x == 13:
            tt_arr[flag]="d"
          if x == 14:
            tt_arr[flag]="e"
          if x == 15:
            tt_arr[flag]="f"
        flag=flag+1
        #print(tt_arr)
  tt=''.join(str(i) for i in tt_arr) ##拼接为字符串
  print(tt)
  return tt 

#提取想要的信息
def get_info(filename):
  #for filename in os.listdir("./data"):
  path="./data/" + filename + ".log"
  with open(path, 'r') as f:
    for line in f:
      if "[expressions]" in line:
        re=filename.split()
        if len(''.join(re)) <= 3:
          print(filename+ ".log")#打印满足要求的文件名称

if __name__ == "__main__":
  path="./tt1.log"
  with open(path,'r') as f:
    for line in f:
      tt=get_string(line)
      create_log(tt)
      get_info(tt)