From b9f104f877d5574189268f602ee1a214148baac6 Mon Sep 17 00:00:00 2001
From: Joeri Exelmans <joeri.exelmans@gmail.com>
Date: Wed, 5 Nov 2025 15:50:43 +0100
Subject: [PATCH] trying to fix strange timestamp error: make argus think that
 timestamps are actually in seconds

---
 pkg/argus_wasm_bg.wasm | Bin 458237 -> 458215 bytes
 src/lib.rs             |   4 ++--
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkg/argus_wasm_bg.wasm b/pkg/argus_wasm_bg.wasm
index 556787e306df01460812ac6651002c072916df54..ba162db2783bd1a87bf6fd84b873024377d5b46a 100644
GIT binary patch
delta 250
zcmezSTl)EL=?x|9lV`IFPflQ0-@J}}GBcy<W+(18Mn;v%CwY7s`<lgh+r@bq+r@dA
z+QoU9+r@cVwu|$!UhQMNy8Z2J)@35HimD2Xjx5<q%o<D#N^A;@jy%~)>>5lAZY&N8
z?9-2KU{&UGWH4jmP+(M0HD_i}VBY?11MAC7AvFaK#|6w;Yn>Vz8X6ujw<xMl|0u<#
zY_4j~yntDO!%-khLDh-D=>@yMPbLKp1rAMS0VNFucE<xPws~u7lr%vi5(*j$nqg~e
z1RgL=_myT-;#4zdZeUj6P*9&<A<Z_GNp;tDJ{h(cHb#}{*-C617*)5+D6>7h1pwLQ
BLO}ok

delta 272
zcmaF<Tl(*B=?x|9lV`IFPflQ0-@J}}GBcyfW+(18Mn=`iCwY7smo$s>wu|#Jwu|#J
zwTtsIw~O<#Y!~Ncz1qk4di&eitjk1<lvEW|onEjvD1pej+U1T1T5NL^nH3lvS+bSb
zHJBKb*c2EYd9szbHJBLOSR53%r*GK6s?4XrY{tZ)z^I^V&di{|zWw0_)|Z(=stO#A
z3z)OkIyE#jG(2E#QB<3LM~Y3^Qr(<+0kZ;!qd=B|x)X!b3wD8@ObQ$d9Gc7mO6m&i
zAUpHc)+lL!L?jf{6*R)u)(AXcQqr1kCe5bAscO#Lz^uTbpf){Gnr$kh*7hILY%y$%
Ts?$T2*fub#Y-dwudw2@~h8jt`

diff --git a/src/lib.rs b/src/lib.rs
index e9a4be3..cb574c7 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -66,7 +66,7 @@ pub fn eval_boolean(s: &str, js_trace: JsValue) -> JsValue {
             });
             if let Signal::<f64>::Sampled { values, time_points } = signal {
                 values.push(*val);
-                time_points.push(Duration::from_millis(entry.simtime as u64));
+                time_points.push(Duration::from_secs(entry.simtime as u64));
             }
             else {
                 return JsValue::from_str("this should never happen");
@@ -109,7 +109,7 @@ pub fn eval_boolean(s: &str, js_trace: JsValue) -> JsValue {
             r.iter().for_each(|(timestamp, satisfied), | {
                 console::debug_1(&JsValue::from_str(format!("timestamp: {}s {}ms", timestamp.as_secs(), (timestamp.as_millis() as f64)).as_str()));
                 result.push(StateBuddyEvalResultEntry{
-                    timestamp: timestamp.as_millis() as f64,
+                    timestamp: timestamp.as_secs() as f64,
                     satisfied: *satisfied,
                 });
             });