search

arthurscchan / ProvMark

ProvMark
3 stars 2 forks source link

update readme #1

Closed tfjmp closed 6 years ago

tfjmp commented 6 years ago

Following the readme, the instruction leads to the following error:

./fullAutomation cam /tmp ./benchmarkProgram/control ./benchmarkProgram/cmdCreat 2 ./result.clingo
bash: ./fullAutomation: No such file or directory

Fixed readme to ./fullAutomation.py