search

aronisstav / Concuerror

OFFICIAL REPOSITORY MOVED:
https://github.com/parapluu/Concuerror
BSD 2-Clause "Simplified" License
1 stars 0 forks source link

Add node support #32

Closed PanagiotisFytas closed 6 years ago

PanagiotisFytas commented 6 years ago

Summary

With parallel mode switched on the scheduler runs on its own node forcing its processes to have specific PIDs. It does not check different interleavings in parallel yet.

Checklist

codecov-io commented 6 years ago

Codecov Report

:exclamation: No coverage uploaded for pull request base (master@a6c3f9c). Click here to learn what that means. The diff coverage is 10.86%.

Impacted file tree graph

@@            Coverage Diff            @@
##             master      #32   +/-   ##
=========================================
  Coverage          ?   91.74%           
=========================================
  Files             ?       10           
  Lines             ?     3174           
  Branches          ?        0           
=========================================
  Hits              ?     2912           
  Misses            ?      262           
  Partials          ?        0
Impacted Files Coverage Δ
src/concuerror_options.erl 97.6% <0%> (ø)
src/concuerror_nodes.erl 0% <0%> (ø)
src/concuerror_callback.erl 90.76% <20.83%> (ø)

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update a6c3f9c...f41938f. Read the comment docs.

aronisstav commented 6 years ago

Hi @PanagiotisFytas ! I just noticed this (curiously no e-mails were emitted, I'll look into why). Expect more feedback tomorrow.