About some crashes

[kanaksad]

While trying to reproduce this code, encountering a few issues.

• when command run from tf_verify directory
  python3 proof_transfer.py --config approx_config.yml --attack patch --netname nets/fconv4_cifar.onnx --anetname nets/fconv4_cifar_quant16.onnx --iteration 1
  The following import fails; and in this version of the python interfaces of ELINA, I couldn't find a relevant interface. Wondering if this is due to any missing code.
  

  FANC/tf_verify/analyzers_zonoml_ffn.py

  Line 9 in 19aad40

  from elina_box import *

• when command run from proof_transfer directory
  python3 proof_transfer.py --config approx_config.yml --attack patch --netname nets/fconv4_cifar.onnx --anetname nets/fconv4_cifar_quant16.onnx --iteration 1
  A similar case for this invocation, can't find a definition for it either in the above-mentioned ELINA interfaces or this codebase.

system spec: macos on apple silicon. ERAN configured from here, ELINA configure from here, deepg configured from here.