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 #33

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

PanagiotisFytas commented 6 years ago

Had to open a new pull request because I rebased the branch and had to force push, making me unable to reopen the previous one.

codecov-io commented 6 years ago

Codecov Report

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

Impacted file tree graph

@@            Coverage Diff            @@
##             master      #33   +/-   ##
=========================================
  Coverage          ?   80.08%           
=========================================
  Files             ?       10           
  Lines             ?     3178           
  Branches          ?        0           
=========================================
  Hits              ?     2545           
  Misses            ?      633           
  Partials          ?        0
Impacted Files Coverage Δ
src/concuerror_nodes.erl 0% <0%> (ø)
src/concuerror_options.erl 96.3% <0%> (ø)
src/concuerror_callback.erl 79.58% <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 c176b32...0313993. Read the comment docs.