Chapter 1 What’s New for FortiOS 5.0 : Authentication: users and devices : Citrix Agent support for Single Sign On : Verifying the configuration
  
Verifying the configuration
You can use the following diagnose commands to verify the configuration:
diagnose debug authd fsso list
diagnose debug application authd -1
diagnose firewall auth list