Test output for tweetnacl [ok]

Testing time: 1s

'/usr/home/chicken/salmonella/build/salmonella-run-publish/chicken/bin/csi' -script run.scm < /dev/null 2>&1

-- testing asymmetric algorithms ---------------------------------------------

    -- testing boxes ---------------------------------------------------------
    box roundtrip .................................................... [ PASS]
    scalar multiplication primitive .................................. [ PASS]
    secret box compatibility ......................................... [ PASS]
    bad nonce detection .............................................. [ PASS]
    bad secret key detection ......................................... [ PASS]
    damage detection ................................................. [ PASS]
    6 tests completed in 27/1000 seconds.
    6 out of 6 (100%) tests passed.
    -- done testing boxes ----------------------------------------------------


    -- testing signatures ----------------------------------------------------
    sign roundtrip ................................................... [ PASS]
    bad public key detection ......................................... [ PASS]
    damage detection ................................................. [ PASS]
    3 tests completed in 27/1000 seconds.
    3 out of 3 (100%) tests passed.
    -- done testing signatures -----------------------------------------------

2 subgroups completed in 27/500 seconds.
2 out of 2 (100%) subgroups passed.
-- done testing asymmetric algorithms ----------------------------------------


-- testing symmetric algorithms ----------------------------------------------

    -- testing boxes ---------------------------------------------------------
    box roundtrip .................................................... [ PASS]
    bad nonce detection .............................................. [ PASS]
    bad key detection ................................................ [ PASS]
    damage detection ................................................. [ PASS]
    4 tests completed in 1/1000 seconds.
    4 out of 4 (100%) tests passed.
    -- done testing boxes ----------------------------------------------------


    -- testing one-time signatures -------------------------------------------
    sign roundtrip ................................................... [ PASS]
    bad key detection ................................................ [ PASS]
    damage detection ................................................. [ PASS]
    3 tests completed in 0 seconds.
    3 out of 3 (100%) tests passed.
    -- done testing one-time signatures --------------------------------------


    -- testing random streams ------------------------------------------------
    xor roundtrip .................................................... [ PASS]
    key agreement .................................................... [ PASS]
    2 tests completed in 7/1000 seconds.
    2 out of 2 (100%) tests passed.
    -- done testing random streams -------------------------------------------

hash ................................................................. [ PASS]
1 test and 3 subgroups completed in 1/125 seconds.
1 out of 1 (100%) test passed.
3 out of 3 (100%) subgroups passed.
-- done testing symmetric algorithms -----------------------------------------