You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to Verible Users
Hi there Verible Community,
I am trying to try out the tool and have downloaded the Zipped windows 64 bit binary release.
After that I am not too sure how to launch the app?
I tried double clicking the .exe files in the downloaded zip folder, but nothing seem to be happening.
Thanks.
Henner Zeller
unread,
May 16, 2023, 7:16:08 PM5/16/23
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to Shaun chua, Verible Users
> I am trying to try out the tool and have downloaded the Zipped windows 64 bit binary release.
>
> After that I am not too sure how to launch the app?
>
> I tried double clicking the .exe files in the downloaded zip folder, but nothing seem to be happening.
These are command line tools, so you'd typically invoke them on the
command line or in scripts and provide the files and options right
there.
If you launch them without parameters (e.g. by double-clicking on
them), they will finish immediately as they didn't get any files to
work on.