viewing logs
job succeeded
veritas
- time taken
- 10 seconds
- started at
- Thu Jul 31 20:00:03 2025
- updated at
- Thu Jul 31 20:00:13 2025
- log uuid
69c7d939-252e-438e-a85b-0ef87c092b56
inspect the job's lambda expression
(lambda()
`((task . "make-test")
(project . "veritas")
(branch-name . "before-and-after-all")
(clone-url . "https://codeberg.org/jjba23/veritas.git")))
starting new job...
-> running command: cd /etc/byggsteg/job-clone/veritas/before-and-after-all && uname -a
Linux wolk-jjba 6.15.5-gnu #1 SMP PREEMPT_DYNAMIC 1 x86_64 GNU/Linux
-> running command: cd /etc/byggsteg/job-clone/veritas/before-and-after-all && git pull
Already up to date.
-> running command: cd /etc/byggsteg/job-clone/veritas/before-and-after-all && git log --name-status HEAD^..HEAD
commit 6235ec7bf0484dec205943ea23ed476917704353
Author: Josep Bigorra <jjbigorra@gmail.com>
Date: Wed Jul 30 08:52:48 2025 +0200
??????? chore: Adjust advanced suite to showcase more
M test/veritas/unit/introduction.scm
-> running command: cd /etc/byggsteg/job-clone/veritas/before-and-after-all && make test
make[1]: Entering directory '/etc/byggsteg/job-clone/veritas/before-and-after-all'
[1m[INFO] 2025-07-31 20:00:05+02:00 - formatting all Scheme files[0m
find . -maxdepth 8 -name "*.scm" -type f -exec guix style -f {} \;
VERITAS_REPORTER="emoji-reporter" \
VERITAS_RUN_BENCHMARKS=true \
VERITAS_TEST_TYPE=unit \
guix shell -m manifest.scm -- \
guile --fresh-auto-compile -L ./src \
-L ./test \
-c '((@ (veritas runner) run-tests))'
scanning directories for unit tests...
scanning present working directory for unit tests...
found unit tests: (simple.scm introduction.scm numeric.scm more/lists.scm)
running unit tests from file: simple.scm, entrypoint: spec
+----------------------------------------------+
[[1m? suite[0m] [1mstr[0m
[[1m? test[0m] [1mString Operation Tests[0m
[0;32m? pass - expect: #f, got: #f[0m
[0;32m? pass - expect: hello world, got: hello world[0m
[0;32m? pass - expect: #t, got: #t[0m
+----------------------------------------------+
[[1m? suite[0m] [1mComplex Data Structure Tests[0m
[[1m? test[0m] [1mAssociation List Lookups[0m
[[1m?? assert[0m] [1mLookup 'age' in alist[0m
[0;32m? pass - expect: 30, got: 30[0m
[[1m?? assert[0m] [1mLookup 'name' in alist[0m
[0;32m? pass - expect: Alice, got: Alice[0m
[[1m?? assert[0m] [1mLookup non-existent key should be #f[0m
[0;32m? pass - expect: #f, got: #f[0m
[[1m? test[0m] [1mVector Operations[0m
[[1m?? assert[0m] [1mVector ref at index 1[0m
[0;32m? pass - expect: 2, got: 2[0m
[[1m?? assert[0m] [1mVector length[0m
[0;32m? pass - expect: 3, got: 3[0m
[[1m?? assert[0m] [1mVector ref at index 0[0m
[0;32m? pass - expect: 1, got: 1[0m
[[1m? test[0m] [1msome test without suite[0m
[0;32m? pass - expect: 1, got: 1[0m
+----------------------------------------------+
[[1m? suite[0m] [1mError Handling Tests[0m
[[1m? test[0m] [1mDivision by Zero Error[0m
[[1m?? assert[0m] [1mShould signal error on division by zero[0m
[0;32m? pass - success catching error: misc-error: (#f Division by zero () #f)[0m
[[1m? test[0m] [1mNo Error on Valid Division[0m
[[1m?? assert[0m] [1mShould not signal error on valid division[0m
[0;32m? pass - success running without errors[0m
[[1m?? assert[0m] [1mValid division result[0m
[0;32m? pass - expect: 5, got: 5[0m
+----------------------------------------------+
[[1m? suite[0m] [1mPredicate Tests[0m
[[1m? test[0m] [1mList Predicates[0m
[[1m?? assert[0m] [1mEmpty list should be null[0m
[0;32m? pass - expect: #t, got: #t[0m
[[1m?? assert[0m] [1mNon-empty list should not be null[0m
[0;32m? pass - expect: #f, got: #f[0m
[[1m?? assert[0m] [1mPair should be a pair[0m
[0;32m? pass - expect: #t, got: #t[0m
[[1m?? assert[0m] [1mEmpty list should not be a pair[0m
[0;32m? pass - expect: #f, got: #f[0m
+----------------------------------------------+
[[1m? suite[0m] [1mBasic Suite[0m
[[1m? test[0m] [1mCheck that function calls work[0m
[0;32m? pass - expect: 42, got: 42[0m
[1m?? info - ran 6 tasks in: 0 seconds, 15453 microseconds[0m
running unit tests from file: introduction.scm, entrypoint: spec
+----------------------------------------------+
[[1m? suite[0m] [1mAdvanced Veritas Features[0m
[1m?? info - TRANSIRE RUBICONEM[0m
[1m?? info - ALEA IACTA EST[0m
[[1m? test[0m] [1mA test with a complex computation block[0m
[1m?? info - before test runs[0m
[1m?? info - after test runs[0m
[[1m?? assert[0m] [1mComplex computation inside an assertion[0m
[0;32m? pass - expect: 144, got: 144[0m
+----------------------------------------------+
[[1m? suite[0m] [1mGetting Started with Assertions[0m
[[1m? test[0m] [1mBasic String and Predicate Tests[0m
[[1m?? assert[0m] [1mGreeting should be personalized[0m
[0;32m? pass - expect: Hello, Veritas!, got: Hello, Veritas![0m
[[1m?? assert[0m] [1m10 should be greater than 5[0m
[0;32m? pass - expect: #t, got: #t[0m
[[1m?? assert[0m] [1mGreeting should contain the provided name[0m
[0;32m? pass - expect: #t, got: #t[0m
[[1m?? assert[0m] [1mString comparison should be case-sensitive[0m
[0;32m? pass - expect: #f, got: #f[0m
+----------------------------------------------+
[[1m? suite[0m] [1mError and Exception Handling[0m
[[1m? test[0m] [1mSumming a list with non-numeric elements[0m
[[1m?? assert[0m] [1mShould fail when list contains non-numbers[0m
[0;32m? pass - success catching error: wrong-type-arg: (+ Wrong type argument in position ~A: ~S (2 a) (a))[0m
[[1m? test[0m] [1mValid summation should not throw an error[0m
[[1m?? assert[0m] [1mShould not fail with a valid list of numbers[0m
[0;32m? pass - success running without errors[0m
+----------------------------------------------+
[[1m? suite[0m] [1mTesting Logic and List Operations[0m
[[1m? test[0m] [1mList Summation[0m
[[1m?? assert[0m] [1mSum of an empty list should be 0[0m
[0;32m? pass - expect: 0, got: 0[0m
[[1m?? assert[0m] [1mSum of elements 1 through 5 should be 15[0m
[0;32m? pass - expect: 15, got: 15[0m
[[1m? test[0m] [1mNumber Classification Logic[0m
[[1m?? assert[0m] [1m0 should be classified as zero[0m
[0;32m? pass - expect: zero, got: zero[0m
[[1m?? assert[0m] [1m-1 should be classified as negative[0m
[0;32m? pass - expect: negative, got: negative[0m
[[1m?? assert[0m] [1m99 should be classified as positive[0m
[0;32m? pass - expect: positive, got: positive[0m
+----------------------------------------------+
[[1m? benchmark[0m]
[1mComputation of the factorial of 10000
[0m
[? [1mrun #0[0m]
% cumulative self
time seconds seconds procedure
100.00 0.31 0.31 override/fibers/events-impl.scm:80:0:pump-epoll-guardian
0.00 764.79 0.00 veritas/unit/introduction.scm:146:0:factorial
0.00 0.31 0.00 veritas/veritas.scm:217:93
0.00 0.31 0.00 anon #x29c140c0
0.00 0.31 0.00 %after-gc-thunk
---
Sample count: 12
Total time: 0.312022208 seconds (0.290197227 seconds in GC)
[? [1mrun #1[0m]
% cumulative self
time seconds seconds procedure
100.00 0.38 0.38 override/fibers/events-impl.scm:80:0:pump-epoll-guardian
0.00 1077.12 0.00 veritas/unit/introduction.scm:146:0:factorial
0.00 0.38 0.00 veritas/veritas.scm:217:93
0.00 0.38 0.00 anon #x29c140c0
0.00 0.38 0.00 %after-gc-thunk
---
Sample count: 13
Total time: 0.378029529 seconds (0.352284038 seconds in GC)
[1m?? info - ran 5 tasks in: 1 seconds, -639770 microseconds[0m
+----------------------------------------------+
[[1m? suite[0m] [1mGetting Started with Assertions[0m
[[1m? test[0m] [1mBasic String and Predicate Tests[0m
[[1m?? assert[0m] [1m10 should be greater than 5[0m
[0;32m? pass - expect: #t, got: #t[0m
[[1m?? assert[0m] [1mGreeting should be personalized[0m
[0;32m? pass - expect: Hello, Veritas!, got: Hello, Veritas![0m
[[1m?? assert[0m] [1mString comparison should be case-sensitive[0m
[0;32m? pass - expect: #f, got: #f[0m
[[1m?? assert[0m] [1mGreeting should contain the provided name[0m
[0;32m? pass - expect: #t, got: #t[0m
+----------------------------------------------+
[[1m? suite[0m] [1mAdvanced Veritas Features[0m
[1m?? info - TRANSIRE RUBICONEM[0m
[1m?? info - ALEA IACTA EST[0m
[[1m? test[0m] [1mA test with a complex computation block[0m
[1m?? info - before test runs[0m
[1m?? info - after test runs[0m
[[1m?? assert[0m] [1mComplex computation inside an assertion[0m
[0;32m? pass - expect: 144, got: 144[0m
+----------------------------------------------+
[[1m? suite[0m] [1mError and Exception Handling[0m
[[1m? test[0m] [1mSumming a list with non-numeric elements[0m
[[1m?? assert[0m] [1mShould fail when list contains non-numbers[0m
[0;32m? pass - success catching error: wrong-type-arg: (+ Wrong type argument in position ~A: ~S (2 a) (a))[0m
[[1m? test[0m] [1mValid summation should not throw an error[0m
[[1m?? assert[0m] [1mShould not fail with a valid list of numbers[0m
[0;32m? pass - success running without errors[0m
+----------------------------------------------+
[[1m? suite[0m] [1mTesting Logic and List Operations[0m
[[1m? test[0m] [1mList Summation[0m
[[1m?? assert[0m] [1mSum of an empty list should be 0[0m
[0;32m? pass - expect: 0, got: 0[0m
[[1m?? assert[0m] [1mSum of elements 1 through 5 should be 15[0m
[0;32m? pass - expect: 15, got: 15[0m
[[1m? test[0m] [1mNumber Classification Logic[0m
[[1m?? assert[0m] [1m-1 should be classified as negative[0m
[0;32m? pass - expect: negative, got: negative[0m
[[1m?? assert[0m] [1m99 should be classified as positive[0m
[0;32m? pass - expect: positive, got: positive[0m
[[1m?? assert[0m] [1m0 should be classified as zero[0m
[0;32m? pass - expect: zero, got: zero[0m
+----------------------------------------------+
[[1m? benchmark[0m]
[1mComputation of the factorial of 10000
[0m
[? [1mrun #0[0m]
% cumulative self
time seconds seconds procedure
58.33 0.43 0.25 override/fibers/events-impl.scm:80:0:pump-epoll-guardian
41.67 0.18 0.18 fibers/scheduler.scm:360:0:yield-current-task
0.00 1264.29 0.00 veritas/unit/introduction.scm:146:0:factorial
0.00 0.61 0.00 anon #x29c140c0
0.00 0.43 0.00 veritas/veritas.scm:217:93
0.00 0.43 0.00 %after-gc-thunk
---
Sample count: 12
Total time: 0.431436337 seconds (0.382137929 seconds in GC)
[? [1mrun #1[0m]
% cumulative self
time seconds seconds procedure
100.00 0.22 0.22 fibers/scheduler.scm:360:0:yield-current-task
0.00 1153.79 0.00 veritas/unit/introduction.scm:146:0:factorial
0.00 0.44 0.00 anon #x29c140c0
0.00 0.22 0.00 veritas/veritas.scm:217:93
0.00 0.22 0.00 override/fibers/events-impl.scm:80:0:pump-epoll-guardian
0.00 0.22 0.00 %after-gc-thunk
---
Sample count: 7
Total time: 0.221395685 seconds (0.207754186 seconds in GC)
% cumulative self
time seconds seconds procedure
85.71 0.34 0.34 fibers/scheduler.scm:360:0:yield-current-task
7.14 1269.27 0.03 veritas/unit/introduction.scm:146:0:factorial
7.14 0.37 0.03 override/fibers/events-impl.scm:80:0:pump-epoll-guardian
0.00 0.71 0.00 anon #x29c140c0
0.00 0.40 0.00 veritas/veritas.scm:217:93
0.00 0.37 0.00 %after-gc-thunk
---
Sample count: 14
Total time: 0.395526098 seconds (0.166329367 seconds in GC)
[1m?? info - ran 5 tasks in: 0 seconds, 446871 microseconds[0m
running unit tests from file: numeric.scm, entrypoint: spec
+----------------------------------------------+
[[1m? suite[0m] [1mBasic Suite[0m
[[1m? test[0m] [1mBasic Numeric Tests[0m
[[1m?? assert[0m] [1mchecks if addition works[0m
[0;32m? pass - expect: 4, got: 4[0m
[0;32m? pass - expect: 1, got: 1[0m
[0;32m? pass - expect: 1, got: 1[0m
[0;32m? pass - expect: 0, got: 0[0m
+----------------------------------------------+
[[1m? suite[0m] [1mPredicate Tests[0m
[[1m? test[0m] [1mEven Number Checks[0m
[[1m?? assert[0m] [1m7 should not be even[0m
[0;32m? pass - expect: #f, got: #f[0m
[[1m?? assert[0m] [1m1 should not be even[0m
[0;32m? pass - expect: #f, got: #f[0m
[[1m?? assert[0m] [1m4 should be even[0m
[0;32m? pass - expect: #t, got: #t[0m
[[1m?? assert[0m] [1m0 should be even[0m
[0;32m? pass - expect: #t, got: #t[0m
[1m?? info - ran 2 tasks in: 0 seconds, 4309 microseconds[0m
[1m? debug -[0m assertion-results: (#t #t #t #t #t #t #t #t)
running unit tests from file: more/lists.scm, entrypoint: spec
+----------------------------------------------+
[[1m? suite[0m] [1mList Manipulation Tests[0m
[[1m? test[0m] [1mList Length[0m
[[1m?? assert[0m] [1mLength of empty list[0m
[0;32m? pass - expect: 0, got: 0[0m
[[1m?? assert[0m] [1mLength of list with 3 elements[0m
[0;32m? pass - expect: 3, got: 3[0m
[[1m?? assert[0m] [1mLength of list with one element[0m
[0;32m? pass - expect: 1, got: 1[0m
[[1m? test[0m] [1mGet First Element[0m
[[1m?? assert[0m] [1mFirst element of a symbol list[0m
[0;32m? pass - expect: a, got: a[0m
[[1m?? assert[0m] [1mFirst element of an empty list should be #f[0m
[0;32m? pass - expect: #f, got: #f[0m
[[1m?? assert[0m] [1mFirst element of a number list[0m
[0;32m? pass - expect: 1, got: 1[0m
[[1m? test[0m] [1mList Concatenation[0m
[[1m?? assert[0m] [1mConcatenate two empty lists[0m
[0;32m? pass - expect: (), got: ()[0m
[[1m?? assert[0m] [1mConcatenate non-empty list with empty[0m
[0;32m? pass - expect: (x y), got: (x y)[0m
[[1m?? assert[0m] [1mConcatenate empty list with non-empty[0m
[0;32m? pass - expect: (a b), got: (a b)[0m
[[1m?? assert[0m] [1mConcatenate two non-empty lists[0m
[0;32m? pass - expect: (1 2 3 4 5), got: (1 2 3 4 5)[0m
[1m?? info - ran 1 tasks in: 0 seconds, 2800 microseconds[0m
finished running tests
make[1]: Leaving directory '/etc/byggsteg/job-clone/veritas/before-and-after-all'