I set up the watchdog timer as following. It should be 2 seconds watchdog timeout. In the actual measurement of reset, we found the controller got reset after 4 seconds. It's twice longer than it is supposed to be. The code is below.
//------------------------------------
// Setup Watchdog
// Enable the peripherals used by this example.
SysCtlPeripheralEnable(SYSCTL_PERIPH_WDOG0);
// Check to see if the registers are locked, and if so, unlock them.
if(WatchdogLockState(WATCHDOG0_BASE) == TRUE)
{
WatchdogUnlock(WATCHDOG0_BASE);
}
// Enable stall processor during debug
WatchdogStallEnable(WATCHDOG0_BASE);
// Initialize the watchdog timer.
WatchdogReloadSet(WATCHDOG0_BASE, 2 * SysCtlClockGet());
// Enable the reset.
WatchdogResetEnable(WATCHDOG0_BASE);
// Enable the watchdog timer.
WatchdogEnable(WATCHDOG0_BASE);
// Lock watchdog settings
WatchdogLock(WATCHDOG0_BASE);
// Clear watchdog
Config::ClearWatchdog();