Capture result as an Erlang terms (tuple/list) instead of outputting text to terminal

[hauleth]

I am building Elixir wrapper over Concuerror and it would be handy if I could capture resulting data and format it by myself instead of relying on built in formatter/output.

[aronisstav]

A similar issue has been in my TODO list for a while. :) aronisstav#51

Let's talk requirements for a minimal working version:

• add a --output_type (pretty|raw) flag (minor point: think what happens if raw is used from the command line).
• when output_type is raw, the return value of concuerror:run([...]) should be something along the lines of

{ok | fail | error, Errors, More}
  where
    Errors = [#{ errors := [...], trace := [...]}],
    More = #{ explored => ..., ...}}

[pause here, will get back to this later this week]

[Nezteb]

It's been a few years, so I figured I'd check in.

@hauleth Are you still working on that Elixir wrapper? I'm interested. 😄

@aronisstav Do you have any other ideas about how this might be implemented? I don't write much Erlang but would love to help if possible!

[hauleth]

No, I am currently not working on wrapper.