[console_scripts]
esbmc-wr = esbmc_wr:main

