Go generator for Conjure.
conjure-go takes a Conjure intermediate representation (IR) as input and writes the Go source files that implement
the types and services defined in the input IR.
conjure-go [--output <output-dir>] input-ir-file: writes the Go files for the Conjure IR file provided as input. Uses the directory specified by--outputas the base directory for writing the output (uses the working directory if unspecified).
conjure-go tests its implementation using the specification defined by conjure-verification.
The version used for verification is specified by the value of the conjureVerifierVersion constant in [conjure-go-verifier/generate.go].
To change/update the verifier version, change the constant and run ./godelw generate -- this will download the test
cases and IR spec, regenerate the Conjure files used by the tests based on the new definition and change the version of
the Docker image used in the CircleCI configuration.
godel-conjure-plugin packages conjure-go as a
gödel plugin and provides abstractions to simplify the process of using conjure-go in a project.