Concuerror icon indicating copy to clipboard operation
Concuerror copied to clipboard

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

Open hauleth opened this issue 5 years ago • 3 comments

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.

hauleth avatar Jan 10 '19 16:01 hauleth

A similar issue has been in my TODO list for a while. :) https://github.com/aronisstav/Concuerror/issues/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]

aronisstav avatar Jan 14 '19 10:01 aronisstav

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!

Nezteb avatar Apr 13 '23 23:04 Nezteb

No, I am currently not working on wrapper.

hauleth avatar Apr 19 '23 10:04 hauleth