Fix test

diff --git a/py3/tests/test_fuzz_inputs.py b/py3/tests/test_fuzz_inputs.py
index 0b78db7d65f0b873eabd92a722147a51d1e3f2d61d465f7098eb6ce91249da00..d6312eb17879b4d975926048b9bd903c9fe1073c76cad3fcd9b6d6e6864928a1 100644 (file)
--- a/py3/tests/test_fuzz_inputs.py
+++ b/py3/tests/test_fuzz_inputs.py
@@ -8,7 +8,6 @@ from unittest import TestCase
 
 from keks import _byte
 from keks import Blob
-from keks import Leapsecs1972
 from keks import loads
 from keks import Raw
 from keks import TagTAI64
@@ -71,10 +70,10 @@ class TestFuzzInputs(TestCase):
             _byte(TagTAI64) + bytes.fromhex("40000000586846A4"),
         ))
         self.assertEqual(readInput("tai-ns"), Raw(_byte(TagTAI64N) + (
-            (TAI64Base + Leapsecs1972 + 1234).to_bytes(8, "big") +
+            (TAI64Base + 1234).to_bytes(8, "big") +
             (1234).to_bytes(4, "big")
         )))
         self.assertEqual(readInput("tai-as"), Raw(_byte(TagTAI64NA) + (
-            (TAI64Base + Leapsecs1972 + 1234).to_bytes(8, "big") +
+            (TAI64Base + 1234).to_bytes(8, "big") +
             2 * (1234).to_bytes(4, "big")
         )))

diff --git a/tcl/keks.tcl b/tcl/keks.tcl
index 8da73481a23408b5d6304b52800f0729948ad18564fda1762c0f7049a6f1d0c7..af5501ef24b98a714c71f57f424cb1c2bf5eec63e82e852d978ce25824135ed6 100755 (executable)
--- a/tcl/keks.tcl
+++ b/tcl/keks.tcl
@@ -312,7 +312,7 @@ proc ToTAI {v} {
             break
         }
     }
-    if {$v > 0} {
+    if {$v >= 0} {
         incr v 10
     }
     incr v $i

diff --git a/tcl/mk-fuzz-inputs b/tcl/mk-fuzz-inputs
index 614e29b6e882596219dd1281f5e1b624c833a36168d3f265b9040403ad3f0339..65f1eb1ead359231c96c96378cd5fbed3c2d2ddac632047cbebcf8c3132d7e85 100755 (executable)
--- a/tcl/mk-fuzz-inputs
+++ b/tcl/mk-fuzz-inputs
@@ -27,7 +27,7 @@ dump 'LIST {TRUE FALSE}' >list-bool
 dump 'MAP {}' >map-empty
 dump 'MAP {a {LIST {NIL}}}' >map-foo
 dump 'TAI64 [ToTAI [ISOToSec "1970-01-01 00:00:00"]]' >tai-utc0
-dump 'TAI64 -11' >tai-before
+dump 'TAI64 -1' >tai-before
 dump 'RAW [binary decode hex "1840000000586846A4"]' >tai-leap
 dump 'TAI64 1234 1234' >tai-ns
 dump 'TAI64 1234 1234 1234' >tai-as