From: Mark Thom Date: Thu, 4 Jun 2026 20:11:08 +0000 (-0700) Subject: Merge pull request #3299 from danilp-id/interrupt_test X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=03f796e9ffd6e28947807562f0613a7d73f1a448;p=scryer-prolog.git Merge pull request #3299 from danilp-id/interrupt_test Test: SIGINT should be able to interrupt non-terminating goals on linux --- 03f796e9ffd6e28947807562f0613a7d73f1a448