Skip to content
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

Support JSON params for conjure translate-solution #632

Merged
merged 4 commits into from
Nov 23, 2023
Merged

Support JSON params for conjure translate-solution #632

merged 4 commits into from
Nov 23, 2023

Commits on Nov 23, 2023

  1. adding #553 as a test case

    @ozgurakgun
    ozgurakgun committed Nov 23, 2023
    Configuration menu
    Copy the full SHA
    8d59101 View commit details
    Browse the repository at this point in the history

  2. fixes #553 - we need to create some given statements from the JSON bi… 

    …t of the E', or else the parser won't read the values from the JSON param
    @ozgurakgun
    ozgurakgun committed Nov 23, 2023
    Configuration menu
    Copy the full SHA
    723a753 View commit details
    Browse the repository at this point in the history

  3. tidy

    @ozgurakgun
    ozgurakgun committed Nov 23, 2023
    Configuration menu
    Copy the full SHA
    d72fbb7 View commit details
    Browse the repository at this point in the history

  4. forgot to add the expected stdout file for test case

    @ozgurakgun
    ozgurakgun committed Nov 23, 2023
    Configuration menu
    Copy the full SHA
    a179c69 View commit details
    Browse the repository at this point in the history