]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8b6d68a) | patch
Test that SIGINT interrupts non-terminating goals on unix.
authorDanil Platonov <[email protected]>
Sat, 30 May 2026 18:45:57 +0000 (11:45 -0700)
committerDanil Platonov <[email protected]>
Sat, 30 May 2026 18:45:57 +0000 (11:45 -0700)
commit39c850b4f4d4cea810d6a084938e474c98416d82
tree7e199fa5d8b36f2058f9d3fd5ba4ed9f5b02092dtree | snapshot
parent8b6d68a4cdf713dc1dc1dc20f58c19061aef30aecommit | diff
Test that SIGINT interrupts non-terminating goals on unix.

Cleanup: use tokio::test instead of special test helpers

Added pty_exec.py helper script to run binaries with a pseudoterminal attached (bug won't trigger otherwise).

Tested CI to fail on all unixes (ubuntu+macos) with older rustyline, and pass with new one.
.gitignore diff | blob | history
tests-pl/issue-interrupt-nontermination.pl [new file with mode: 0644] blob
tests-pl/pty_exec.py [new file with mode: 0755] blob
tests/scryer/helper.rs diff | blob | history
tests/scryer/issues.rs diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust