search

gatelabdavis / SMTAttack

SMT Attack
20 stars 7 forks source link

Bug #3

Open sainikhils02 opened 5 months ago

sainikhils02 commented 5 months ago

System Information Ubuntu 24.04 LTS Python 3.12.3 The given tool is not working on the provided bench marks . I tried to run the following command python3 smt_tool.py --algorithm reduced_sat --original /SMTAttack/benchmarks/originals/c7552.bench --obfuscated /SMTAttack/benchmarks/dll_obfuscated/c7552_dll_10.bench --design_name c7552 --verbose 1 for which i got error

/ || \/ | | / \ | || |_ | | _ \ | |\/| | | | / | | / ` |/ | |/ / __) | | | | | | / \ || || (| | (| < |__/|| || || / ____\|__,|\||\\ by GATE Lab, George Mason University

[wire_dep ERROR] ERROR1 in read_bench() at gate G3070gat_1 I also request you to provide a detailed README.md file

mahmud624683 commented 1 month ago

This is due to problem in your bench file I guess. this programs needs to have the same format bench file they provided. for example- space after comma(,) inside input. used as an input in a gate before assigned the value to the wire etc.