path: root/test-suite/misc/coqtop_print-mod-uid.sh

#!/usr/bin/env bash

export COQBIN=$BIN
export PATH=$COQBIN:$PATH

[ "$(coqtop -print-mod-uid prerequisite/admit.vo)" = "prerequisite/.coq-native/NTestSuite_admit" ]