#!/bin/tcsh
#
# A series of thesis examples demonstrating operation validation.
#

######################################################################
# Find user
#
######################################################################

# Find user by name, basic
fmsl finduser-sorted-tests.fmsl finduser-basic.fmsl userdb-objs.fmsl

# Find user by name, more formal
fmsl finduser-sorted-tests.fmsl finduser-formal.fmsl userdb-objs.fmsl

# Find user by name, sorted by id
fmsl finduser-sorted-tests.fmsl finduser-with-sorting.fmsl userdb-objs.fmsl

# Find user by name, sorted by id and enforces no duplicates
fmsl finduser-sorted-tests.fmsl finduser-with-sorting-refined.fmsl userdb-objs.fmsl

# Find user sorted by id with auxiliary functions
fmsl finduser-sorted-tests.fmsl finduser-with-aux-funcs.fmsl userdb-objs.fmsl
