search

runtimeverification / haskell-backend

The symbolic execution engine powering the K Framework
BSD 3-Clause "New" or "Revised" License
208 stars 41 forks source link

Add timestampts to JSON logs #3925

Closed goodlyrottenapple closed 3 months ago

goodlyrottenapple commented 3 months ago

Fixes #3894

jberthold commented 3 months ago

While at it, could you please remove the dot from https://github.com/runtimeverification/haskell-backend/pull/3925/files#diff-fdf134fb9c13c1143cd1c9d16f037c810a3f29d61d40c9944b898af886bb61e9R188 so that we can parse the timestamps later?

    let formatString = "%Y-%m-%dT%H:%M:%S%6Q"

The %Q includes its own decimal point if the value is not zero , see https://hackage.haskell.org/package/time-1.14/docs/Data-Time-Format.html