Currently, fault requires you to use magma_output to set the magma compile target, but this may be confusing to user who is using magma_opts to passthrough arguments to m.compile (where they might think they can pass output as one of those arguments). We should either catch this case and raise an error (require the user to use magma_output), or allow the user to override the default magma_output using magma_opts (in this case, we can error if the user sets both magma_output and inside magma_opts since we don't necessarily know which one to use).
Currently, fault requires you to use
magma_outputto set the magma compile target, but this may be confusing to user who is usingmagma_optsto passthrough arguments tom.compile(where they might think they can passoutputas one of those arguments). We should either catch this case and raise an error (require the user to usemagma_output), or allow the user to override the defaultmagma_outputusingmagma_opts(in this case, we can error if the user sets bothmagma_outputand insidemagma_optssince we don't necessarily know which one to use).