]> git.eshelyaron.com Git - sweep.git/commit
; Improve detection of unsafe goal extraction
authorEshel Yaron <me@eshelyaron.com>
Sun, 8 Oct 2023 10:35:09 +0000 (12:35 +0200)
committerEshel Yaron <me@eshelyaron.com>
Sun, 8 Oct 2023 10:35:09 +0000 (12:35 +0200)
commit1bc9956aa88f1819c67da719f6c5c30ea73a3333
treeb47641e62f66ce9c38f93787b6ca8fbb0ab3bf00
parent6038bce54aba9f5669407af42c3a4a2cecac71b1
; Improve detection of unsafe goal extraction

* sweep.pl (sweep_extract_goal_update_safety/4): Adjust.
* sweeprolog-tests.el: Add more tests.
sweep.pl
sweeprolog-tests.el