Fix erlang module instrumentation for > 17.1

parapluu / Concuerror

Concuerror is a stateless model checking tool for Erlang programs.

http://parapluu.github.io/Concuerror

BSD 2-Clause "Simplified" License

333 stars 41 forks source link

Closed aronisstav closed 10 years ago

vjeko commented 10 years ago

In case you're curious -- there is a simple fix for this bug. Just add the following statement to src/concuerror.

code:unstick_mod(erlang),

At least this works for me (17.3).

aronisstav commented 10 years ago

Hi Vjekoslav!

Of course this is the fix. The reason for the delay was that I hadn't noticed that I could add the test for it on Travis (as it didn't have 17.1).

Expect it to be merged ASAP and thanks for checking out Concuerror!