Correct ideal imp version of mean-timestamp-diff test

jamii · Sep 6, 2021 · f0d954b · f0d954b
1 parent 1f684a6
commit f0d954b
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/test/end_to_end.test b/test/end_to_end.test
@@ -700,10 +700,10 @@ group ?id ?g g,
   mean timestamp_diffs@
 // TODO with inferred domains
 // ?g
-//   category _ g,
-//   sorted_timestamps: enumerate (?id ?t timestamp id t, category id g);
-//   timestamp_diffs: ?i sorted_timestamps(i) - sorted_timestamps (i - 1);
-//   mean timestamp_diffs
+//   group _ g then
+//   sorted_timestamps: enumerate (?t ?id timestamp id t, group id g);
+//   timestamp_diffs: ?i (?t sorted_timestamps i t _) - (?t sorted_timestamps (i - 1) t _);
+//   timestamp_diffs @ mean
 //
 // RAI version
 //def group = {(0, "foo"); (1, "foo"); (2, "bar"); (3, "bar")}