;;; 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)
68229821912'>commit</a><a href='/guix/diff/gnu/system/examples/vm-image.tmpl?id=7f77e5d5fa0c4669efa1012fc526868229821912'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/gnu/system/examples/vm-image.tmpl'>
<input type='hidden' name='id' value='7f77e5d5fa0c4669efa1012fc526868229821912'/><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=7f77e5d5fa0c4669efa1012fc526868229821912'>root</a>/<a href='/guix/log/gnu?id=7f77e5d5fa0c4669efa1012fc526868229821912'>gnu</a>/<a href='/guix/log/gnu/system?id=7f77e5d5fa0c4669efa1012fc526868229821912'>system</a>/<a href='/guix/log/gnu/system/examples?id=7f77e5d5fa0c4669efa1012fc526868229821912'>examples</a>/<a href='/guix/log/gnu/system/examples/vm-image.tmpl?id=7f77e5d5fa0c4669efa1012fc526868229821912'>vm-image.tmpl</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/system/examples/vm-image.tmpl?id=7f77e5d5fa0c4669efa1012fc526868229821912&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2017-12-06 15:02:24 +0100'>2017-12-06</span></td><td><a href='/guix/commit/gnu/system/examples/vm-image.tmpl?id=fdfdecdb7ebfd05b4ae66cc5140078dbfc10fc35'>gnu, doc, tests: Use ‘bootloader-configuration’ everywhere.</a><span class='msg-avail'>...<span class='msg-tooltip'>* doc/guix.texi (Proceeding with the Installation): Replace the old-style
‘grub-configuration’ with the newer ‘bootloader-configuration’ syntax.
* gnu/system/examples/vm-image.tmpl: Likewise.
* gnu/system/install.scm (installation-os): Likewise.
* gnu/tests.scm (%simple-os): Likewise.
* gnu/tests/install.scm (%minimal-os, %minimal-os-on-vda, %separate-home-os)
(%separate-store-os, %raid-root-os, %encrypted-root-os, %btrfs-root-os):
Likewise.
* gnu/tests/nfs.scm (%base-os): Likewise.
* tests/guix-system.scm (OS_BASE, make_user_config): Likewise.
* tests/system.scm (%os, %os-with-mapped-device): Likewise.
</span></span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2017-08-23 22:23:19 +0200'>2017-08-23</span></td><td><a href='/guix/commit/gnu/system/examples/vm-image.tmpl?id=045ebb3e58d74c75f39ce47380045d3cd00359c3'>gnu: bootloader: Deprecate "device" field in favor of "target".</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/bootloader.scm (&lt;bootloader-configuration&gt;): Deprecate "device" field in
favor of "target" field.  This is mostly a renaming but also a generalization
to support UEFI targets being paths to a mounted partition instead of a device
name.
* gnu/system/examples/bare-bones.tmpl:
* gnu/system/examples/desktop.tmpl:
* gnu/system/examples/lightweight-desktop.tmpl:
* gnu/system/examples/vm-image.tmpl:
* gnu/system/install.scm:
* gnu/tests.scm:
* gnu/tests/install.scm:
* gnu/tests/nfs.scm:
* tests/system.scm: Adapt all invocations of bootloader-configuration.
* guix/scripts/system.scm (perform-action): Rename device argument to
bootloader-target.
(process-action): Adapt caller.
* doc/guix.texi (Proceeding with the Installation):
* doc/guix.texi (Bootloader Configuration): Update documentation.
</span></span></td><td>Andy Wingo</td></tr>
<tr><td><span title='2017-05-17 14:12:51 -0400'>2017-05-17</span></td><td><a href='/guix/commit/gnu/system/examples/vm-image.tmpl?id=4b236c88eaa690a045bc57b9c4d2acf44ae91f17'>maint: The 'release' target builds a VM image.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/system/examples/vm-image.tmpl: New file.
* Makefile.am (GUIXSD_VM_SYSTEMS, GUIXSD_VM_IMAGE_BASE,
GUIXSD_VM_IMAGE_SIZE): New variables.
(release): Add logic to build a VM image.
(EXAMPLES): Add 'gnu/system/examples/vm-image.tmpl'.
* doc/guix.texi (Running GuixSD in a VM, Installing GuixSD in a VM): Mention the
pre-built VM image.
</span></span></td><td>Leo Famulari</td></tr>