Concuerror Gracefully handle interruptions by the user

Gracefully handle interruptions by the user

Open aronisstav opened this issue 7 years ago • 3 comments

It should be possible to "kill" the tool (e.g. via an OS signal) and still get some meaningful info about the state of exploration.

Dec 12 '16 14:12 aronisstav

http://erlang.org/doc/man/kernel_app.html#erl_signal_server

Jul 07 '18 09:07 aronisstav

Or just turn the right parts of Concuerror into an application.

Jul 07 '18 10:07 aronisstav

I am removing the milestone as I cannot find any easy way to do this for the time being and I'd rather have a version 1.0.0 than wait for it.

Jul 12 '18 12:07 aronisstav