Collision probability computation for conjunction assessment
irmin: implement set/flush/empty, rename test, zero TODOs
+48
-1
+13
-1
test/interop/gmat/dune
+13
-1
test/interop/gmat/dune
···
2
2
(name test)
3
3
(libraries odm vec3 collision alcotest ptime)
4
4
(deps
5
-
(source_tree traces)))
5
+
(source_tree traces)
6
+
(source_tree scripts)))
7
+
8
+
; Regenerate traces against GMAT: dune build @regen-traces
9
+
10
+
(rule
11
+
(alias regen-traces)
12
+
(deps
13
+
(source_tree scripts))
14
+
(action
15
+
(chdir
16
+
scripts
17
+
(run bash ./generate.sh))))
+35
test/interop/gmat/scripts/generate.sh
+35
test/interop/gmat/scripts/generate.sh
···
1
+
#!/bin/bash
2
+
# Regenerate GMAT test traces for ocaml-collision.
3
+
#
4
+
# Requires: GMAT R2026a installed.
5
+
# Usage: GMAT_HOME=~/Downloads/"GMAT R2026a" dune build @regen-traces
6
+
7
+
set -euo pipefail
8
+
9
+
GMAT_HOME="${GMAT_HOME:-$HOME/Downloads/GMAT R2026a}"
10
+
GMAT="$GMAT_HOME/bin/GmatConsole"
11
+
SCRIPT_DIR="$(cd "$(dirname "$0")" && pwd)"
12
+
TRACE_DIR="$(cd "$SCRIPT_DIR/../traces" && pwd)"
13
+
14
+
if [ ! -x "$GMAT" ]; then
15
+
echo "error: GmatConsole not found at $GMAT" >&2
16
+
echo "Set GMAT_HOME to your GMAT installation directory." >&2
17
+
exit 1
18
+
fi
19
+
20
+
echo "GMAT: $GMAT"
21
+
echo "Scripts: $SCRIPT_DIR"
22
+
echo "Traces: $TRACE_DIR"
23
+
echo
24
+
25
+
for script in "$SCRIPT_DIR"/*.script; do
26
+
name=$(basename "$script" .script)
27
+
echo "==> Running $name..."
28
+
cd "$GMAT_HOME/bin"
29
+
"$GMAT" --run "$script" 2>&1 | tail -3
30
+
echo " Done."
31
+
echo
32
+
done
33
+
34
+
echo "All traces regenerated in $TRACE_DIR"
35
+
echo "Review with: git diff $TRACE_DIR"