New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

use subcommands instead of various flags/binaries #69

Merged

zapashcanon merged 1 commit into main from cmdline

Oct 14, 2023

Member

zapashcanon commented Oct 14, 2023

Hi,

Now we only have one entry point (bin/owi.ml) which is the owi command.

For now, three subcommands are available:

owi run (concrete interpreter)
owi sym (symbolic interpreter)
owi script (reference test script interpreter)


          use subcommands instead of various flags/binaries

efa9d64

zapashcanon requested review from chambart and filipeom

October 14, 2023 10:14

Member Author

zapashcanon commented Oct 14, 2023

Fix #12.

zapashcanon merged commit 9bf290b into main

0 of 3 checks passed

zapashcanon deleted the cmdline branch

October 14, 2023 10:23

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet