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

[WIP] An initial program printer #115

Draft

jmid wants to merge 1 commit into main from lin-program-printer

Collaborator

jmid commented Aug 19, 2022 •

edited

This PR takes a stab at adding a program printer #56.

This first version

prints a corresponding program without performing a sequential consistency search
only supports Domain currently

It can be enabled by setting an environment variable as follows:

LIN_PRINT=1 dune exec src/hashtbl/lin_tests_dsl.exe

When set,

/tmp/linfail.ml will get a print of the last failing cmd triple
/tmp/linlast.ml will get a print of the last tested cmd triple

(both of these will currently over-write)


          An initial program printer

32fc9d1

jmid changed the title ~~An initial program printer~~ [WIP] An initial program printer

jmid marked this pull request as draft

October 11, 2022 12:16

jmid mentioned this pull request

Extend signature DSL with a program printer #56

Open

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