use error

[sanqudui8ban]

Unknown command line argument '-z3-path=/home/op/souper-main/third_party/z3-install/bin/z3'

[sanqudui8ban]

i use the opt that i compiled order by the README. When i run this cmd : opt -load libsouperPass.so -souper
-o /home/op/file.opt.bc
/home/op/Desktop/1.bc -z3-path=/home/op/souper-main/third_party/z3-install/bin/z3
it said Unknown command line argument '-z3-path'

[urd00m]

Same issue as above

[urd00m]

I think I've found a fix. Their documentation is a little outdated but try this

opt -load-pass-plugin <path_to_souper_build>/libsouperPass.so -passes='function(souper),dce' -souper-use-cegis -souper-synthesis-comps=and,or,ne,xor,const,add,sub,ashr -S <input.bc> -o <output.bc>

that worked for me to run souper on an input bytecode file, you can also play around with the options for souper

[sanqudui8ban]

Thanks for share this. I'll try it.

[ParkHanbum]

how about considering this usage append to README.md?