28 lines
903 B
Python
28 lines
903 B
Python
from .utils import *
|
|
|
|
from argparse import ArgumentParser
|
|
import json
|
|
|
|
|
|
def parse_args():
|
|
parser = ArgumentParser(description="Check correctness of logic formula")
|
|
parser.add_argument('-f', '--formula', dest=formula, metavar='FORMULA')
|
|
parser.add_argument('-fl', '--formula-list', dest=list_formula, metavar='[FORMULA, FORMULA]')
|
|
return parser.parse_args()
|
|
|
|
|
|
if __name__ == '__main__':
|
|
args = parse_args()
|
|
if args.list_formula:
|
|
list_formula = json.loads(args.list_formula)
|
|
if not isinstance(list_formula, list):
|
|
print('Type of --formula-list is not a list')
|
|
else:
|
|
for formula in list_formula:
|
|
print(
|
|
"{}: {}".format(formula, is_formula_correct(formula))
|
|
)
|
|
elif args.formula:
|
|
print(
|
|
"{}: {}".format(args.formula, is_formula_correct(args.formula))
|
|
) |