@User: Run magic on the user_project_wrapper, and do the commands "extract do local ; extract all" followed by "antennacheck". This probably works better when done in a small shell script to call magic in batch mode (magic -dnull -noconsole) so that you can dump the output into a text file. However, if there are not too many errors, you can read them off of the console in magic in GUI mode.