witness_seed/haskell/witness_seed_3.0/tests/TestKairos.hs
2025-04-29 06:56:37 -05:00

13 lines
No EOL
403 B
Haskell

module Main where
import qualified Types
import qualified Kairos
main :: IO ()
main = do
let intellectons = replicate 10 (Types.Intellecton 1.0 1.0)
intellectons' = Kairos.coherence intellectons 0.1
sumAbs = sum $ map (abs . Types.value) intellectons'
if sumAbs > 0
then putStrLn "Kairos test passed: Coherence updated"
else putStrLn "Kairos test failed" >> error "Test failed"