viewing logs

veritas

time taken

60 seconds

started at

Wed Jul 30 14:43:11 2025

updated at

Wed Jul 30 14:44:11 2025

log uuid

e8abbde9-c858-4aeb-993a-b3b5ef79dc95

(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'

[INFO] 2025-07-30 14:44:03+02:00 - formatting all Scheme files
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: (more/lists.scm introduction.scm simple.scm numeric.scm)


running unit tests from file: more/lists.scm, entrypoint: spec


+----------------------------------------------+
[? suite] List Manipulation Tests
  [? test] Get First Element
    [?? assert] First element of an empty list should be #f
    ? pass - expect: #f, got: #f
    [?? assert] First element of a symbol list
    ? pass - expect: a, got: a
    [?? assert] First element of a number list
    ? pass - expect: 1, got: 1
  [? 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
  [? test] List Concatenation
    [?? assert] Concatenate two non-empty lists
    ? pass - expect: (1 2 3 4 5), got: (1 2 3 4 5)
    [?? assert] Concatenate empty list with non-empty
    ? pass - expect: (a b), got: (a b)
    [?? assert] Concatenate two empty lists
    ? pass - expect: (), got: ()
    [?? assert] Concatenate non-empty list with empty
    ? pass - expect: (x y), got: (x y)
?? info - ran 1 tasks in: 0 seconds, 5076 microseconds

running unit tests from file: introduction.scm, entrypoint: spec


+----------------------------------------------+
[? suite] Testing Logic and List Operations
  [? test] List Summation
    [?? assert] Sum of elements 1 through 5 should be 15
    ? pass - expect: 15, got: 15
    [?? assert] Sum of an empty list should be 0
    ? pass - expect: 0, got: 0
  [? test] Number Classification Logic
    [?? assert] 0 should be classified as zero
    ? pass - expect: zero, got: zero
    [?? assert] -1 should be classified as negative
    ? pass - expect: negative, got: negative
    [?? assert] 99 should be classified as positive
    ? pass - expect: positive, got: positive
+----------------------------------------------+
[? suite] Getting Started with Assertions
  [? test] Basic String and Predicate Tests
    [?? assert] Greeting should be personalized
    ? pass - expect: Hello, Veritas!, got: Hello, Veritas!
    [?? assert] Greeting should contain the provided name
    ? pass - expect: #t, got: #t
    [?? assert] String comparison should be case-sensitive
    ? pass - expect: #f, got: #f
    [?? assert] 10 should be greater than 5
    ? pass - expect: #t, got: #t
+----------------------------------------------+
[? benchmark]
Computation of the factorial of 10000


[? run #0]
%     cumulative   self             
time   seconds     seconds  procedure
 91.67      0.24      0.24  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
  8.33    641.94      0.02  veritas/unit/introduction.scm:146:0:factorial
  0.00      0.26      0.00  veritas/veritas.scm:217:93
  0.00      0.24      0.00  anon #x399570c0
  0.00      0.24      0.00  %after-gc-thunk
---
Sample count: 12
Total time: 0.258187314 seconds (0.243914993 seconds in GC)

[? run #1]
%     cumulative   self             
time   seconds     seconds  procedure
 61.54      0.20      0.20  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
 30.77    934.07      0.10  veritas/unit/introduction.scm:146:0:factorial
  7.69      0.02      0.02  apply-smob/1
  0.00      0.32      0.00  veritas/veritas.scm:217:93
  0.00      0.22      0.00  anon #x399570c0
  0.00      0.22      0.00  %after-gc-thunk
  0.00      0.02      0.00  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
---
Sample count: 13
Total time: 0.319877288 seconds (0.300028569 seconds in GC)

+----------------------------------------------+
[? suite] Error and Exception Handling
  [? test] Valid summation should not throw an error
    [?? assert] Should not fail with a valid list of numbers
    ? pass - success running without errors
  [? test] Summing a list with non-numeric elements
    [?? assert] Should fail when list contains non-numbers
    ? pass - success catching error: wrong-type-arg: (+ Wrong type argument in position ~A: ~S (2 a) (a))
+----------------------------------------------+
[? suite] Advanced Veritas Features
?? info - TRANSIRE RUBICONEM
?? info - ALEA IACTA EST
  [? test] A test with a complex computation block
?? info - before test runs
?? info - after test runs
    [?? assert] Complex computation inside an assertion
    ? pass - expect: 144, got: 144
?? info - ran 5 tasks in: 1 seconds, -697525 microseconds
+----------------------------------------------+
[? suite] Error and Exception Handling
  [? test] Summing a list with non-numeric elements
    [?? assert] Should fail when list contains non-numbers
    ? pass - success catching error: wrong-type-arg: (+ Wrong type argument in position ~A: ~S (2 a) (a))
  [? test] Valid summation should not throw an error
    [?? assert] Should not fail with a valid list of numbers
    ? pass - success running without errors
+----------------------------------------------+
[? suite] Advanced Veritas Features
?? info - TRANSIRE RUBICONEM
?? info - ALEA IACTA EST
  [? test] A test with a complex computation block
?? info - before test runs
?? info - after test runs
    [?? assert] Complex computation inside an assertion
    ? pass - expect: 144, got: 144
+----------------------------------------------+
[? suite] Testing Logic and List Operations
  [? test] Number Classification Logic
    [?? assert] 0 should be classified as zero
    ? pass - expect: zero, got: zero
    [?? assert] -1 should be classified as negative
    ? pass - expect: negative, got: negative
    [?? assert] 99 should be classified as positive
    ? pass - expect: positive, got: positive
  [? test] List Summation
    [?? assert] Sum of elements 1 through 5 should be 15
    ? pass - expect: 15, got: 15
    [?? assert] Sum of an empty list should be 0
    ? pass - expect: 0, got: 0
+----------------------------------------------+
[? suite] Getting Started with Assertions
  [? test] Basic String and Predicate Tests
    [?? assert] Greeting should be personalized
    ? pass - expect: Hello, Veritas!, got: Hello, Veritas!
    [?? assert] 10 should be greater than 5
    ? pass - expect: #t, got: #t
    [?? assert] String comparison should be case-sensitive
    ? pass - expect: #f, got: #f
    [?? assert] Greeting should contain the provided name
    ? pass - expect: #t, got: #t
+----------------------------------------------+
[? benchmark]
Computation of the factorial of 10000


[? run #0]
%     cumulative   self             
time   seconds     seconds  procedure
100.00      0.06      0.06  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
  0.00    443.08      0.00  veritas/unit/introduction.scm:146:0:factorial
  0.00      0.06      0.00  anon #x399570c0
  0.00      0.06      0.00  %after-gc-thunk
  0.00      0.06      0.00  veritas/veritas.scm:217:93
---
Sample count: 1
Total time: 0.056107158 seconds (0.048733502 seconds in GC)
%     cumulative   self             
time   seconds     seconds  procedure
 50.00      0.20      0.12  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
 40.00      0.10      0.10  fibers/scheduler.scm:360:0:yield-current-task
 10.00   1118.11      0.02  veritas/unit/introduction.scm:146:0:factorial
  0.00      0.30      0.00  anon #x399570c0
  0.00      0.25      0.00  veritas/veritas.scm:217:93
  0.00      0.20      0.00  %after-gc-thunk
---
Sample count: 10
Total time: 0.247182828 seconds (0.187576732 seconds in GC)
%     cumulative   self             
time   seconds     seconds  procedure
 50.00      0.18      0.18  fibers/scheduler.scm:360:0:yield-current-task
 35.71      0.28      0.13  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
 14.29   1273.99      0.05  veritas/unit/introduction.scm:146:0:factorial
  0.00      0.47      0.00  anon #x399570c0
  0.00      0.36      0.00  veritas/veritas.scm:217:93
  0.00      0.28      0.00  %after-gc-thunk
---
Sample count: 14
Total time: 0.362258681 seconds (0.109509317 seconds in GC)

[? run #1]
%     cumulative   self             
time   seconds     seconds  procedure
 50.00      0.02      0.02  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
 50.00      0.02      0.02  fibers/scheduler.scm:360:0:yield-current-task
  0.00    302.99      0.00  veritas/unit/introduction.scm:146:0:factorial
  0.00      0.04      0.00  anon #x399570c0
  0.00      0.04      0.00  veritas/veritas.scm:217:93
  0.00      0.02      0.00  %after-gc-thunk
---
Sample count: 2
Total time: 0.043819623 seconds (0.04357237 seconds in GC)
%     cumulative   self             
time   seconds     seconds  procedure
 66.67      0.14      0.14  fibers/scheduler.scm:360:0:yield-current-task
 33.33      0.16      0.07  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
  0.00    816.24      0.00  veritas/unit/introduction.scm:146:0:factorial
  0.00      0.30      0.00  anon #x399570c0
  0.00      0.21      0.00  veritas/veritas.scm:217:93
  0.00      0.16      0.00  %after-gc-thunk
---
Sample count: 9
Total time: 0.208615649 seconds (0.155810195 seconds in GC)
%     cumulative   self             
time   seconds     seconds  procedure
 61.54      0.19      0.19  fibers/scheduler.scm:360:0:yield-current-task
 38.46      0.26      0.12  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
  0.00    892.38      0.00  veritas/unit/introduction.scm:146:0:factorial
  0.00      0.45      0.00  anon #x399570c0
  0.00      0.31      0.00  veritas/veritas.scm:217:93
  0.00      0.26      0.00  %after-gc-thunk
---
Sample count: 13
Total time: 0.306699506 seconds (0.094227636 seconds in GC)

?? info - ran 5 tasks in: 0 seconds, 331964 microseconds

running unit tests from file: simple.scm, entrypoint: spec


+----------------------------------------------+
[? suite] str
  [? test] String Operation Tests
    ? pass - expect: #f, got: #f
    ? pass - expect: hello world, got: hello world
    ? pass - expect: #t, got: #t
+----------------------------------------------+
[? suite] Error Handling Tests
  [? test] Division by Zero Error
    [?? assert] Should signal error on division by zero
    ? pass - success catching error: misc-error: (#f Division by zero () #f)
  [? 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] some test without suite
    ? pass - expect: 1, got: 1
+----------------------------------------------+
[? suite] Predicate Tests
  [? test] List Predicates
    [?? assert] Non-empty list should not be null
    ? 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] Empty list should not be a pair
    ? pass - expect: #f, got: #f
+----------------------------------------------+
[? suite] Complex Data Structure Tests
  [? test] Association List Lookups
    [?? assert] Lookup 'age' in alist
    ? pass - expect: 30, got: 30
    [?? assert] Lookup non-existent key should be #f
    ? pass - expect: #f, got: #f
    [?? assert] Lookup 'name' in alist
    ? pass - expect: Alice, got: Alice
  [? test] Vector Operations
    [?? assert] Vector ref at index 1
    ? pass - expect: 2, got: 2
    [?? assert] Vector length
    ? pass - expect: 3, got: 3
    [?? assert] Vector ref at index 0
    ? pass - expect: 1, got: 1
+----------------------------------------------+
[? suite] Basic Suite
  [? test] Check that function calls work
    ? pass - expect: 42, got: 42
?? info - ran 6 tasks in: 0 seconds, 13999 microseconds

running unit tests from file: numeric.scm, entrypoint: spec


+----------------------------------------------+
[? 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
+----------------------------------------------+
[? suite] Basic Suite
  [? test] Basic Numeric Tests
    ? pass - expect: 1, got: 1
    ? pass - expect: 1, got: 1
    ? pass - expect: 0, got: 0
    [?? assert] checks if addition works
    ? pass - expect: 4, got: 4
?? info - ran 2 tasks in: 0 seconds, 3138 microseconds
? debug - assertion-results: (#t #t #t #t #t #t #t #t)

finished running tests
make[1]: Leaving directory '/etc/byggsteg/job-clone/veritas/before-and-after-all'