'lsoracle when make is failed.I don't know why
/home/lcl/LSOracle/core/commands/optimization/optimize.hpp: In member function ‘void alice::optimize_command::synth(std::string)’: /home/lcl/LSOracle/core/commands/optimization/optimize.hpp:76:27: error: ‘optimize_resynthesis’ is not a member of ‘oracle’ 76 | ntk_result = oracle::optimize_resynthesismockturtle::aig_network(partitions_jr, abc_exec); | ^~~~~~~~~~~~~~~~~~~~ /home/lcl/LSOracle/core/commands/optimization/optimize.hpp:76:71: error: expected primary-expression before ‘>’ token 76 | ntk_result = oracle::optimize_resynthesismockturtle::aig_network(partitions_jr, abc_exec); | ^ /home/lcl/LSOracle/core/commands/optimization/optimize.hpp:78:14: error: ‘optimization_strategy’ is not a member of ‘oracle’; did you mean ‘optimization_test’? 78 | oracle::optimization_strategy strategy; | ^~~~~~~~~~~~~~~~~~~~~ | optimization_test /home/lcl/LSOracle/core/commands/optimization/optimize.hpp:80:3: error: ‘strategy’ was not declared in this scope 80 | strategy = oracle::optimization_strategy::depth; | ^~~~~~~~
Sources
This article follows the attribution requirements of Stack Overflow and is licensed under CC BY-SA 3.0.
Source: Stack Overflow
| Solution | Source |
|---|