gap-packages / io

GAP package IO to do input and output

https://gap-packages.github.io/io/

Other

14 stars 14 forks source link

Add exit status to IO_WaitPid #64

Closed ChrisJefferson closed 6 years ago

ChrisJefferson commented 6 years ago

Small tweak to IO_WaitPid which gives access to the return value.

codecov[bot] commented 6 years ago

Codecov Report

Merging #64 into master will increase coverage by 0.08%. The diff coverage is 100%.

@@            Coverage Diff             @@
##           master      #64      +/-   ##
==========================================
+ Coverage   44.46%   44.55%   +0.08%     
==========================================
  Files           1        1              
  Lines        1237     1239       +2     
==========================================
+ Hits          550      552       +2     
  Misses        687      687

Impacted Files	Coverage Δ
src/io.c	`44.55% <100%> (+0.08%)`	:arrow_up: