mohawk.log 966 Bytes
Newer Older
1
2
3
4
5
6
7
8
2014/12/11 04:55:32.093-0500,mohawk.MohawkMain,setupUserPreferenceOptions,FINE,[OPTION] Setting the console's maximum width
2014/12/11 04:55:32.109-0500,mohawk.MohawkMain,setupUserPreferenceOptions,FINE,[OPTION] Default Line String Used
2014/12/11 04:55:32.110-0500,mohawk.MohawkMain,setupSmvSpecOptions,FINE,[OPTION] No SMV File included
2014/12/11 04:55:32.110-0500,mohawk.MohawkMain,setupSmvSpecOptions,FINE,[OPTION] Using a specific SPEC File: ./data/testcases/mixed/test1.spec
2014/12/11 04:55:32.110-0500,mohawk.MohawkMain,setupSmvSpecOptions,FINE,[OPTION] Using the default SPEC File Extension: .spec
2014/12/11 04:55:32.110-0500,mohawk.MohawkMain,setupSmvSpecOptions,FINE,[OPTION] Bulk SPEC File inclusion: Disabled
2014/12/11 04:55:32.110-0500,mohawk.MohawkMain,setupResultOptions,INFO,Results File: latestMohawkResults.csv
2014/12/11 04:55:37.509-0500,mohawk.testing.TestingSuite,onlyConvertSpecToSmvFormat,FINE,specFile: ./data/testcases/mixed/test1.spec