#!/usr/bin/env bash
set -xeuo pipefail

coredash_driving=../coredash_build/LinuxNoEditor/driving
lhs="$1"
rhs="$(mktemp --suffix=.zrn)"

"$coredash_driving/mapping/zrn/tools/read_write" --in="$lhs" --out="$rhs"
mapping/zrn/tools/diff_zrn --a="$lhs" --b="$rhs" --derived=true
