close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 4467


Ignore:
Timestamp:
2016-06-14T20:03:33-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/5am-pair-queue.lisp

    r4325 r4467  
    6464  (with-fixture poly-context ()
    6565    (let ((pair (dequeue queue)))
    66       (is (universal-equalp (critical-pair-first pair) p))
    67       (is (universal-equalp (critical-pair-second pair) q)))))
     66      ;; The best pair is (q r)
     67      (is (universal-equalp (critical-pair-first pair) q))
     68      (is (universal-equalp (critical-pair-second pair) r)))))
    6869
    6970;; TODO: Implement more meaningful tests
Note: See TracChangeset for help on using the changeset viewer.