viewing logs
job succeeded
veritas
- time taken
- 11 seconds
- started at
- Wed Jul 30 07:27:24 2025
- updated at
- Wed Jul 30 07:27:35 2025
- log uuid
bf4aa61f-9e0f-4ec6-adbc-40d3a1c97d8c
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
Updating 2afe7ce..920011b
Fast-forward
src/veritas/prelude.scm | 3 ++-
src/veritas/veritas.scm | 12 +++++++++++-
test/veritas/unit/introduction.scm | 6 +-----
3 files changed, 14 insertions(+), 7 deletions(-)
-> running command: cd /etc/byggsteg/job-clone/veritas/before-and-after-all && git log --name-status HEAD^..HEAD
commit 920011b18fb9fc2ce1361b2dbc0ed0d81b84f729
Author: Josep Bigorra <jjbigorra@gmail.com>
Date: Wed Jul 30 07:27:00 2025 +0200
???? work-in-progress: Fix before-all and after-all, now onto before and after
per test
M src/veritas/prelude.scm
M src/veritas/veritas.scm
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-30 07:27:25+02:00 - formatting all Scheme files[0m
find . -maxdepth 8 -name "*.scm" -type f -exec guix style -f {} \;
VERITAS_REPORTER="monotone-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: (numeric.scm simple.scm more/lists.scm introduction.scm)
+----------------------------------------------+
running unit tests from file: numeric.scm, entrypoint: spec
------------------------------------------
[suite] Basic Suite
[test] Basic Numeric Tests
[pass] expect: 1, got: 1
[pass] expect: 0, got: 0
[pass] expect: 1, got: 1
[assert] checks if addition works
[pass] expect: 4, got: 4
------------------------------------------
[suite] Predicate Tests
[test] Even Number Checks
[assert] 1 should not be even
[pass] expect: #f, got: #f
[assert] 7 should not be even
[pass] expect: #f, got: #f
[assert] 0 should be even
[pass] expect: #t, got: #t
[assert] 4 should be even
[pass] expect: #t, got: #t
[info] ran 2 tasks in: 0 seconds, 10845 microseconds
[debug] assertion-results: (#t #t #t #t #t #t #t #t)
+----------------------------------------------+
running unit tests from file: simple.scm, entrypoint: spec
[test] some test without suite
[pass] expect: 1, got: 1
------------------------------------------
[suite] Error Handling Tests
[test] No Error on Valid Division
[assert] Should not signal error on valid division
[pass] success running without errors
[assert] Valid division result
[pass] expect: 5, got: 5
[test] Division by Zero Error
[assert] Should signal error on division by zero
[pass] success catching error: misc-error: (#f Division by zero () #f)
------------------------------------------
[suite] Predicate Tests
[test] List Predicates
[assert] Empty list should not be a pair
[pass] expect: #f, got: #f
[assert] Pair should be a pair
[pass] expect: #t, got: #t
[assert] Empty list should be null
[pass] expect: #t, got: #t
[assert] Non-empty list should not be null
[pass] expect: #f, got: #f
------------------------------------------
[suite] Basic Suite
[test] Check that function calls work
[pass] expect: 42, got: 42
------------------------------------------
[suite] Complex Data Structure Tests
[test] Vector Operations
[assert] Vector length
[pass] expect: 3, got: 3
[assert] Vector ref at index 1
[pass] expect: 2, got: 2
[assert] Vector ref at index 0
[pass] expect: 1, got: 1
[test] Association List Lookups
[assert] Lookup 'age' in alist
[pass] expect: 30, got: 30
[assert] Lookup 'name' in alist
[pass] expect: Alice, got: Alice
[assert] Lookup non-existent key should be #f
[pass] expect: #f, got: #f
------------------------------------------
[suite] str
[test] String Operation Tests
[pass] expect: hello world, got: hello world
[pass] expect: #f, got: #f
[pass] expect: #t, got: #t
[info] ran 6 tasks in: 0 seconds, 16174 microseconds
+----------------------------------------------+
running unit tests from file: more/lists.scm, entrypoint: spec
------------------------------------------
[suite] List Manipulation Tests
[test] Get First Element
[assert] First element of a symbol list
[pass] expect: a, got: a
[assert] First element of a number list
[pass] expect: 1, got: 1
[assert] First element of an empty list should be #f
[pass] expect: #f, got: #f
[test] List Concatenation
[assert] Concatenate two non-empty lists
[pass] expect: (1 2 3 4 5), got: (1 2 3 4 5)
[assert] Concatenate two empty lists
[pass] expect: (), got: ()
[assert] Concatenate empty list with non-empty
[pass] expect: (a b), got: (a b)
[assert] Concatenate non-empty list with empty
[pass] expect: (x y), got: (x y)
[test] List Length
[assert] Length of list with one element
[pass] expect: 1, got: 1
[assert] Length of empty list
[pass] expect: 0, got: 0
[assert] Length of list with 3 elements
[pass] expect: 3, got: 3
[info] ran 1 tasks in: 0 seconds, 11825 microseconds
+----------------------------------------------+
running unit tests from file: introduction.scm, entrypoint: spec
+----------------------------------------------+
[[1m? suite[0m] [1mError and Exception Handling[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? 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? suite[0m] [1mAdvanced Veritas Features[0m
[[1m? test[0m] [1mA test with a complex computation block[0m
[[1m?? assert[0m] [1mComplex computation inside an assertion[0m
[0;32m? pass - expect: 144, got: 144[0m
+----------------------------------------------+
[[1m? benchmark[0m]
[1mComputation of the factorial of 10000
[0m
[? [1mrun #0[0m]
% cumulative self
time seconds seconds procedure
100.00 0.29 0.29 override/fibers/events-impl.scm:80:0:pump-epoll-guardian
0.00 723.04 0.00 veritas/unit/introduction.scm:140:0:factorial
0.00 0.29 0.00 veritas/veritas.scm:203:93
0.00 0.29 0.00 anon #x2875b0c0
0.00 0.29 0.00 %after-gc-thunk
---
Sample count: 12
Total time: 0.289756658 seconds (0.25734049 seconds in GC)
[? [1mrun #1[0m]
% cumulative self
time seconds seconds procedure
100.00 0.34 0.34 override/fibers/events-impl.scm:80:0:pump-epoll-guardian
0.00 1172.01 0.00 veritas/unit/introduction.scm:140:0:factorial
0.00 0.34 0.00 veritas/veritas.scm:203:93
0.00 0.34 0.00 anon #x2875b0c0
0.00 0.34 0.00 %after-gc-thunk
---
Sample count: 14
Total time: 0.338591988 seconds (0.317863199 seconds in GC)
+----------------------------------------------+
[[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] [1mTesting Logic and List Operations[0m
[[1m? test[0m] [1mNumber Classification Logic[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?? assert[0m] [1m-1 should be classified as negative[0m
[0;32m? pass - expect: negative, got: negative[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?? info - ran 5 tasks in: 0 seconds, 357479 microseconds[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] [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?? assert[0m] [1m-1 should be classified as negative[0m
[0;32m? pass - expect: negative, got: negative[0m
+----------------------------------------------+
[[1m? suite[0m] [1mGetting Started with Assertions[0m
[[1m? test[0m] [1mBasic String and Predicate Tests[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?? 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? suite[0m] [1mAdvanced Veritas Features[0m
[[1m? test[0m] [1mA test with a complex computation block[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? benchmark[0m]
[1mComputation of the factorial of 10000
[0m
[? [1mrun #0[0m]
% cumulative self
time seconds seconds procedure
53.33 0.36 0.19 override/fibers/events-impl.scm:80:0:pump-epoll-guardian
46.67 0.17 0.17 fibers/scheduler.scm:360:0:yield-current-task
0.00 1146.42 0.00 veritas/unit/introduction.scm:140:0:factorial
0.00 0.53 0.00 anon #x2875b0c0
0.00 0.36 0.00 veritas/veritas.scm:203:93
0.00 0.36 0.00 %after-gc-thunk
---
Sample count: 15
Total time: 0.363274202 seconds (0.341321539 seconds in GC)
[? [1mrun #1[0m]
No samples recorded.
% cumulative self
time seconds seconds procedure
71.43 0.28 0.28 fibers/scheduler.scm:360:0:yield-current-task
28.57 0.39 0.11 override/fibers/events-impl.scm:80:0:pump-epoll-guardian
0.00 1397.90 0.00 veritas/unit/introduction.scm:140:0:factorial
0.00 0.67 0.00 anon #x2875b0c0
0.00 0.39 0.00 veritas/veritas.scm:203:93
0.00 0.39 0.00 %after-gc-thunk
---
Sample count: 14
Total time: 0.390071388 seconds (0.376383377 seconds in GC)
[1m?? info - ran 5 tasks in: 1 seconds, -629413 microseconds[0mmake[1]: Leaving directory '/etc/byggsteg/job-clone/veritas/before-and-after-all'