;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2015 Ludovic Courtès <ludo@gnu.org>
;;;
;;; This file is part of GNU Guix.
;;;
;;; GNU Guix is free software; you can redistribute it and/or modify it
;;; under the terms of the GNU General Public License as published by
;;; the Free Software Foundation; either version 3 of the License, or (at
;;; your option) any later version.
;;;
;;; GNU Guix is distributed in the hope that it will be useful, but
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
;;; GNU General Public License for more details.
;;;
;;; You should have received a copy of the GNU General Public License
;;; along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.

(define-module (test-sets)
  #:use-module (guix sets)
  #:use-module (srfi srfi-1)
  #:use-module (srfi srfi-26)
  #:use-module (srfi srfi-64))


(test-begin "sets")

(test-assert "set-contains?"
  (let* ((lst (iota 123))
         (set (list->set lst)))
    (and (every (cut set-contains? set <>)
                lst)
         (not (set-contains? set -1)))))

(test-assert "set->list"
  (let* ((lst (iota 123))
         (set (list->set lst)))
    (lset= = lst (set->list set))))

(test-assert "set-union"
  (let* ((a  (list 'a))
         (b  (list 'b))
         (s1 (setq a))
         (s2 (setq b))
         (s3 (set-union s1 s2)))
    (and (set-contains? s3 a)
         (set-contains? s3 b))))

(test-end)
6'>commit</a><a href='/guix/diff/gnu/packages/flashing-tools.scm?id=701d85c5a9b2dee3901ecd57c1a3f998a55ebae6'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/gnu/packages/flashing-tools.scm'>
<input type='hidden' name='id' value='701d85c5a9b2dee3901ecd57c1a3f998a55ebae6'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=701d85c5a9b2dee3901ecd57c1a3f998a55ebae6'>root</a>/<a href='/guix/log/gnu?id=701d85c5a9b2dee3901ecd57c1a3f998a55ebae6'>gnu</a>/<a href='/guix/log/gnu/packages?id=701d85c5a9b2dee3901ecd57c1a3f998a55ebae6'>packages</a>/<a href='/guix/log/gnu/packages/flashing-tools.scm?id=701d85c5a9b2dee3901ecd57c1a3f998a55ebae6'>flashing-tools.scm</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/gnu/packages/flashing-tools.scm?id=701d85c5a9b2dee3901ecd57c1a3f998a55ebae6&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2024-06-11 14:35:18 +0100'>2024-06-11</span></td><td><a href='/guix/commit/gnu/packages/flashing-tools.scm?id=22482834c5412df9816adefecbf8915221999edb'>gnu: wally-cli: Fix build.</a><span class='msg-avail'>...</span></td><td>Sharlatan Hellseher</td></tr>
<tr><td><span title='2024-06-11 12:17:49 +0100'>2024-06-11</span></td><td><a href='/guix/commit/gnu/packages/flashing-tools.scm?id=520d85bad4c0207df85273c72d59e9e7d7416538'>gnu: wally-cli: Fix reference to go-gopkg-in-cheggaaa-pb-v1.</a><span class='msg-avail'>...</span></td><td>Christopher Baines</td></tr>
<tr><td><span title='2024-05-31 13:55:44 +0200'>2024-05-31</span></td><td><a href='/guix/commit/gnu/packages/flashing-tools.scm?id=8944fa5c7a1283787fd316f505e83799e92867a9'>gnu: avrdude: Update to 7.3.</a><span class='msg-avail'>...</span></td><td>Artyom V. Poptsov</td></tr>
<tr><td><span title='2024-05-17 20:18:09 +0200'>2024-05-17</span></td><td><a href='/guix/commit/gnu/packages/flashing-tools.scm?id=6faf82c7e9ebec156d5e5f7c68af9c2ddc81a46b'>gnu: 0xffff: Update to 0.10.</a><span class='msg-avail'>...</span></td><td>Artyom V. Poptsov</td></tr>
<tr><td><span title='2024-03-29 14:21:00 +0000'>2024-03-29</span></td><td><a href='/guix/commit/gnu/packages/flashing-tools.scm?id=8ac6bd77415dc7dfac7ce53130fd0abfefc1497f'>gnu: packages: flashing-tools: Sort use-module alphabetically.</a><span class='msg-avail'>...</span></td><td>Sharlatan Hellseher</td></tr>
<tr><td><span title='2024-03-29 14:21:00 +0000'>2024-03-29</span></td><td><a href='/guix/commit/gnu/packages/flashing-tools.scm?id=f0a3c722019f408a1dd14c5bf3e4d0bd9d6374ce'>gnu: Add wally-cli.</a><span class='msg-avail'>...</span></td><td>Martin Becze</td></tr>
<tr><td><span title='2023-11-24 18:02:03 +0100'>2023-11-24</span></td><td><a href='/guix/commit/gnu/packages/flashing-tools.scm?id=c562008bd1d0c0fa8854cbde5ec5e02dcfceb701'>gnu: uuu: Update to 1.5.125.</a><span class='msg-avail'>...</span></td><td>Mathieu Othacehe</td></tr>
<tr><td><span title='2023-10-10 00:06:15 -0400'>2023-10-10</span></td><td><a href='/guix/commit/gnu/packages/flashing-tools.scm?id=619ff2fa1d5b60b5fe33216ca2d6219c04a5515b'>gnu: Add teensy-udev-rules.</a><span class='msg-avail'>...</span></td><td>Maxim Cournoyer</td></tr>
<tr><td><span title='2023-10-10 00:06:15 -0400'>2023-10-10</span></td><td><a href='/guix/commit/gnu/packages/flashing-tools.scm?id=e09c04809a93faa21e3ab63d831077c361a4a677'>gnu: teensy-loader-cli: Fix license.</a><span class='msg-avail'>...</span></td><td>Maxim Cournoyer</td></tr>
<tr><td><span title='2023-10-10 00:06:15 -0400'>2023-10-10</span></td><td><a href='/guix/commit/gnu/packages/flashing-tools.scm?id=1b83d4490addee4f0b4ee1a59d127d51217caa39'>gnu: teensy-loader-cli: Use gexps.</a><span class='msg-avail'>...</span></td><td>Maxim Cournoyer</td></tr>
<tr><td><span title='2023-09-27 23:59:52 +0200'>2023-09-27</span></td><td><a href='/guix/commit/gnu/packages/flashing-tools.scm?id=8843e1e3163cb6779487525a1fb17f657148c72a'>gnu: Add qdl.</a><span class='msg-avail'>...</span></td><td>B. Wilson</td></tr>
<tr><td><span title='2023-09-02 15:49:41 -0400'>2023-09-02</span></td><td><a href='/guix/commit/gnu/packages/flashing-tools.scm?id=771cbf2ab222478ebfc11b20f1833a3e0e908e6a'>gnu: teesy-loader-cli: Drop trailing #t.</a><span class='msg-avail'>...</span></td><td>Maxim Cournoyer</td></tr>
<tr><td><span title='2023-07-16 02:00:01 +0200'>2023-07-16</span></td><td><a href='/guix/commit/gnu/packages/flashing-tools.scm?id=19f6c16dba8c07ec28e2c9fea225274cbe77bf73'>gnu: srecord: Update to 1.65.0.</a><span class='msg-avail'>...</span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2023-06-08 23:18:05 +0200'>2023-06-08</span></td><td><a href='/guix/commit/gnu/packages/flashing-tools.scm?id=8716f33d98d1c5fc967550cb35c459b4fb215518'>gnu: flashrom: Wrap PATH to find dmidecode.</a><span class='msg-avail'>...</span></td><td>Hilton Chain</td></tr>
<tr><td><span title='2023-06-08 23:17:59 +0200'>2023-06-08</span></td><td><a href='/guix/commit/gnu/packages/flashing-tools.scm?id=e6ce706604b168a704477ffa71425d78d4960193'>gnu: flashrom: Update to 1.3.0.</a><span class='msg-avail'>...</span></td><td>Hilton Chain</td></tr>