Closed ritzdorf closed 5 years ago
The following command works:
java -jar build/libs/securify.jar -fh src/test/resources/solidity/transaction-reordering.bin.hex --livestatusfile test.json
but this command:
java -jar build/libs/securify.jar -fh src/test/resources/solidity/transaction-reordering.bin.hex --livestatusfile src/test/resources/solidity/transaction-reordering.json
fails with
Exception in thread "main" java.io.IOException: Error while making directory at ch.securify.Main.main(Main.java:240)
it seems to fail whenever the path to --livestatusfile contains a directory.
--livestatusfile
Yes I'm already working on this for the webserver.
The following command works:
but this command:
fails with
it seems to fail whenever the path to
--livestatusfile
contains a directory.