Subject: bug#32110: closed (Re: bug#32110: Some Cuirass examples fail)

From: [email-masked] (GNU bug Tracking System)
Date: Tue, 10 Jul 2018 17:01:03 +0000

Your bug report

#32110: Some Cuirass examples fail

which was filed against the guix package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
32110: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=32110
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#32110: Some Cuirass examples fail
From: Clément Lassieur <[email-masked]>
To: [email-masked]
Date: Tue, 10 Jul 2018 19:00:10 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Clément Lassieur <[email-masked]> writes:

> These examples fail:
>
> ./pre-inst-env cuirass --specifications=examples/gnu-system.scm --database=test.db
> ./pre-inst-env cuirass --specifications=examples/guix-track-git.scm --database=test.db
> ./pre-inst-env cuirass --specifications=examples/random-jobs.scm --database=test.db
>
> Clément

In fact, those three files were not example specs, they were used by
other specs.  Sorry for the noise :-)

Subject: Some Cuirass examples fail
From: Clément Lassieur <[email-masked]>
To: [email-masked]
Date: Tue, 10 Jul 2018 13:41:18 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

These examples fail:

./pre-inst-env cuirass --specifications=examples/gnu-system.scm --database=test.db
./pre-inst-env cuirass --specifications=examples/guix-track-git.scm --database=test.db
./pre-inst-env cuirass --specifications=examples/random-jobs.scm --database=test.db
./pre-inst-env cuirass --specifications=examples/random.scm --database=test.db

Clément