search

gap-packages / io

GAP package IO to do input and output
https://gap-packages.github.io/io/
Other
14 stars 14 forks source link

Handle crashing GAP in IO_CallWithTimeout #86

Closed ChrisJefferson closed 4 years ago

ChrisJefferson commented 4 years ago

Previously, IO_CallWithTimeout would crash if the forked GAP exited uncleanly / crashed. This makes it return [fail]. This makes it useful (for me at least!) for running experiments where you want to limit GAP's runtime, and also handle GAP running out of memory.

codecov[bot] commented 4 years ago

Codecov Report

Merging #86 into master will decrease coverage by 0.00%. The diff coverage is 50.00%.

@@            Coverage Diff             @@
##           master      #86      +/-   ##
==========================================
- Coverage   58.47%   58.47%   -0.01%     
==========================================
  Files          14       14              
  Lines        3591     3593       +2     
==========================================
+ Hits         2100     2101       +1     
- Misses       1491     1492       +1
Impacted Files Coverage Δ
gap/callwithtimeout.gd 100.00% <ø> (ø)
gap/callwithtimeout.gi 52.94% <50.00%> (-0.13%) :arrow_down: