secure-software-engineering/phasar

Tutorial (https://phasar.org/tutorial/) doesn't explain how to run Phasar

Opened this issue · 3 comments

It only explains how to build it.

It also says:

You can check if your installation works properly, by just typing in:
> phasar

but the phasar-2403 doesn't install the command "phasar".

Hi @yurivict,
phasar.org is outdated and we do not maintain it anymore. You may consider our README, as well as the Wiki instead.

Users would typically google "phasar" and land on https://phasar.org/. The GitHub project also links to https://phasar.org/

The GitHub project also links to https://phasar.org/

Thank you for pointing that out; we fixed that