Classify some built-ins as "debug", ignore races in normal mode.

parapluu / Concuerror

Concuerror is a stateless model checking tool for Erlang programs.

http://parapluu.github.io/Concuerror

BSD 2-Clause "Simplified" License

332 stars 41 forks source link

Classify some built-ins as "debug", ignore races in normal mode. #91

Closed aronisstav closed 6 years ago

aronisstav commented 8 years ago

E.g. inspect another processes dictionary, count 'how many processes there are around' etc.

aronisstav commented 7 years ago

A very interesting extension of this one is: Stateless model checking with data-race preemption points

It requires #107, however.

aronisstav commented 7 years ago

"Ignore" may be the wrong choice of word, since "total state capture" requires results to be the same. The dependencies exist but should not add more schedulings.

aronisstav commented 6 years ago

Migrated to aronisstav/Concuerror#24.