. ../../../testutils.sh

check ConvertPiInfo.idr
