#!/bin/sh

# env

# "$SINGULAR_EXECUTABLE" -teq "$srcdir/bigintm.tst"