diff options
Diffstat (limited to 'plugins/org.eclipse.osee.coverage/support/vcastData/CCAST_.CFG')
-rw-r--r-- | plugins/org.eclipse.osee.coverage/support/vcastData/CCAST_.CFG | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/plugins/org.eclipse.osee.coverage/support/vcastData/CCAST_.CFG b/plugins/org.eclipse.osee.coverage/support/vcastData/CCAST_.CFG new file mode 100644 index 00000000000..6c5f7ea5aff --- /dev/null +++ b/plugins/org.eclipse.osee.coverage/support/vcastData/CCAST_.CFG @@ -0,0 +1,4 @@ +COVERAGE_IO_TYPE: VCAST_COVERAGE_IO_BUFFERED +TARGET_VARIANT: HOST +VCAST_RPTS_DEFAULT_FONT_FACE: Arial(3) +VCAST_ADA_FILE_EXTENSIONS: 2.ada a 2.Ada |