Filename: $ARGUMENTS

The spec file at the given filename has been executed. 

Steps:
1. read the spec file.
2. verify that it has been properly implemented.
3. run the implemented code and verify that it works correctly.