#
# These are some instrumented versions of the tests ./aduser-tests.csh.
#

#
# Some dump-universe versions, to see what's going on.
#
fmsl adduser-basic-formal-tests.fmsl adduser-basic-formal.fmsl userdb-objs.fmsl -dump-universe

fmsl adduser-basic-formal-strength-challenge.fmsl adduser-basic-formal.fmsl userdb-objs.fmsl -dump-universe

fmsl adduser-strengthened-tests.fmsl adduser-strengthened.fmsl userdb-objs.fmsl -dump-universe


#
# Some debugging tests that were run along the way, but are no longer needed.
# Feel the pain.
#
fmsl adduser-basic-formal-strength-challenge.fmsl adduser-strengthened-instrumented.fmsl userdb-objs.fmsl

fmsl adduser-basic-formal-strength-challenge.fmsl adduser-strengthened-equiv.fmsl userdb-objs.fmsl

fmsl adduser-basic-formal-strength-challenge.fmsl adduser-strengthened.fmsl userdb-objs.fmsl populate-urs.fmsl -dump-universe
