diff --git a/@Settings/Settings.m b/@Settings/Settings.m
deleted file mode 100644
index ec08cf168e5a7615e51a09010c27861c340c45cf..0000000000000000000000000000000000000000
--- a/@Settings/Settings.m
+++ /dev/null
@@ -1,49 +0,0 @@
-% Author: Colin Eles elesc@mcmaster.ca
-% Organization: McMaster Centre for Software Certification
-classdef Settings < handle
-    %UNTITLED Summary of this class goes here
-    %   Detailed explanation goes here
-    
-    properties
-        % settings
-        pvs_includes = [];
-        counter_trials = [];
-        counter_range = [];
-        except = [];
-        
-        % gui elements
-        fig_width = 400;
-        fig_height = 300;
-        open = 0;
-        fig = [];
-        button_width = 60;
-        button_height = 30;
-        button_offset = 10;
-        title_height = 30;
-        label_height = 30;
-        label_width = 75;
-        text_offset = 10;
-        
-        include_text = [];
-        count_text = [];
-        range_text = [];
-        except_check = [];
-    end
-    
-    methods
-        
-        %% Settings
-        %    constructor
-        % inputs:
-        %   none
-        % outputs:
-        %   object:Settings - created object
-        function object = Settings()
-        end
-        
-        
-        
-    end
-    
-end
-
diff --git a/@Settings/apply_call.m b/@Settings/apply_call.m
deleted file mode 100644
index c50cb3e0f2c80fe070658019d5e8a95afdb4fd67..0000000000000000000000000000000000000000
--- a/@Settings/apply_call.m
+++ /dev/null
@@ -1,15 +0,0 @@
-%% apply_call
-%    callback for apply button, save the settings but do not close
-%    figure.
-% inputs:
-%   object:Settings - current object
-%   src - source of the callback calling
-%   event - event that triggered the callback
-% outputs:
-%   none
-% Author: Colin Eles elesc@mcmaster.ca
-% Organization: McMaster Centre for Software Certification
-function err = apply_call(object,src,event)
-object.save;
-end
-
diff --git a/@Settings/cancel_call.m b/@Settings/cancel_call.m
deleted file mode 100644
index ea47f52bea779dbf0adfa066dfe1a55721312667..0000000000000000000000000000000000000000
--- a/@Settings/cancel_call.m
+++ /dev/null
@@ -1,13 +0,0 @@
-%% cancel_call
-%    callback for cancel button, cose figure don't save settings
-% inputs:
-%   object:Settings - current object
-%   src - source of the callback calling
-%   event - event that triggered the callback
-% outputs:
-%   none
-% Author: Colin Eles elesc@mcmaster.ca
-% Organization: McMaster Centre for Software Certification
-function [] = cancel_call(object,src,event)
-object.close_fig([],[]);
-end
diff --git a/@Settings/close_fig.m b/@Settings/close_fig.m
deleted file mode 100644
index d764de05b3d4e967dc429cc201b20faa4da5ff76..0000000000000000000000000000000000000000
--- a/@Settings/close_fig.m
+++ /dev/null
@@ -1,16 +0,0 @@
-%% close_fig
-%    when close button is pressed delete the figure, allow a new
-%    one to be opened
-% inputs:
-%   object:Settings - current object
-%   src - source of the callback calling
-%   event - event that triggered the callback
-% outputs:
-%   none
-% Author: Colin Eles elesc@mcmaster.ca
-% Organization: McMaster Centre for Software Certification
-function [] = close_fig(object,src,event)
-delete(object.fig);
-object.open = 0;
-end
-
diff --git a/@Settings/elipse_call.m b/@Settings/elipse_call.m
deleted file mode 100644
index 90b198acf7113d712113bafca11981bb8d1fee64..0000000000000000000000000000000000000000
--- a/@Settings/elipse_call.m
+++ /dev/null
@@ -1,30 +0,0 @@
-%% elipse_call
-%    callback for when the elipses button is pressed, show file
-%    picker, update the textbox of selected files.
-% inputs:
-%   object:Settings - current object
-%   src - source of the callback calling
-%   event - event that triggered the callback
-% outputs:
-%   none
-% Author: Colin Eles elesc@mcmaster.ca
-% Organization: McMaster Centre for Software Certification
-function [] = elipse_call(object,src,event)
-files = uigetfile('*.pvs','Select pvs files','MultiSelect','on');
-string = [];
-if iscell(files)
-    for i = 1:size(files,2)
-        string = strcat(string,files(i));
-      
-        if i ~= size(files,2)
-            string = strcat(string,', ');
-           
-        end
-    end
-    
-else
-    string = files;
-end
-set(object.include_text,'String',char(string));
-end
-
diff --git a/@Settings/init.m b/@Settings/init.m
deleted file mode 100644
index 867e03af2eca132821e23ebd29413f760a593c07..0000000000000000000000000000000000000000
--- a/@Settings/init.m
+++ /dev/null
@@ -1,16 +0,0 @@
-%% init
-%
-% inputs:
-%   object:Settings - current object
-% outputs:
-%   none
-% Author: Colin Eles elesc@mcmaster.ca
-% Organization: McMaster Centre for Software Certification
-function [] = init(object)
-% initialize the default values of the properties
-object.pvs_includes = [];
-object.counter_trials = 1000;
-object.counter_range = 100;
-object.except = 0;
-end
-
diff --git a/@Settings/ok_call.m b/@Settings/ok_call.m
deleted file mode 100644
index 5b295452e9d3087497272f0cf28e77a120bdf214..0000000000000000000000000000000000000000
--- a/@Settings/ok_call.m
+++ /dev/null
@@ -1,17 +0,0 @@
-
-%% ok_call
-%    save settings and close figure
-% inputs:
-%   object:Settings - current object
-%   src - source of the callback calling
-%   event - event that triggered the callback
-% outputs:
-%   none
-% Author: Colin Eles elesc@mcmaster.ca
-% Organization: McMaster Centre for Software Certification
-function [] = ok_call(object,src,event)
-if ~(object.save);
-    object.close_fig([],[]);
-end
-
-end
\ No newline at end of file
diff --git a/@Settings/save.m b/@Settings/save.m
deleted file mode 100644
index c8c9d1d274bc4c7d6222fc490775ff06b37f9de8..0000000000000000000000000000000000000000
--- a/@Settings/save.m
+++ /dev/null
@@ -1,38 +0,0 @@
-%% save
-%    save the settigns to the object properties, check to ensure
-%    that user input validates.
-% inputs:
-%   object:Settings - current object
-% outputs:
-%   none
-% Author: Colin Eles elesc@mcmaster.ca
-% Organization: McMaster Centre for Software Certification
-function err = save(object)
-msg = []    ;
-err = 0;
-if isempty(str2num(get(object.count_text,'String')))
-    msg = [msg get(object.count_text,'String') ' is not a valid number'];
-    err = 1;
-else
-    object.counter_trials = str2num(get(object.count_text,'String'));
-end
-
-if isempty(str2num(get(object.range_text,'String')))
-    msg = [msg sprintf('\n') get(object.count_text,'String') ' is not a valid number'];
-    err = 1;
-else
-    object.counter_range = str2num(get(object.range_text,'String'));
-end
-object.pvs_includes = get(object.include_text,'String');
-
-if (get(object.except_check,'value') == get(object.except_check,'Max'))
-    object.except = true;
-else
-    object.except = false;
-end
-
-if err
-    msgbox(msg);
-end
-end
-
diff --git a/@Settings/setvalues.m b/@Settings/setvalues.m
deleted file mode 100644
index 7e5a7550cd8b8089c4e44bc0b22efa77ac5be67d..0000000000000000000000000000000000000000
--- a/@Settings/setvalues.m
+++ /dev/null
@@ -1,20 +0,0 @@
-%% setvalues
-%    update the object settings based on an inputed structure
-%    containing these desired values
-% inputs:
-%   object:Settings - current object
-% outputs:
-%   none
-% Author: Colin Eles elesc@mcmaster.ca
-% Organization: McMaster Centre for Software Certification
-function [] = setvalues(object,settings)
-
-object.pvs_includes = settings.inputs;
-object.counter_trials = settings.count;
-object.counter_range = settings.range;
-if ~isfield(settings,'except')
-    settings.except = 0;
-end
-object.except = settings.except;
-end
-
diff --git a/@Settings/show.m b/@Settings/show.m
deleted file mode 100644
index c1c73119963aeaa831c1c17e870dbbcb3bab19a6..0000000000000000000000000000000000000000
--- a/@Settings/show.m
+++ /dev/null
@@ -1,159 +0,0 @@
-%% show
-%    create the figure to show the gui used to change the settings
-% inputs:
-%   object:Settings - current object
-% outputs:
-%   none
-% Author: Colin Eles elesc@mcmaster.ca
-% Organization: McMaster Centre for Software Certification
-function [] = show(object)
-if (object.open)
-    figure(object.fig);
-else
-    
-    object.fig = figure('units','pixels',...
-        'position',[0 0 object.fig_width object.fig_height],...
-        'menubar','none',...
-        'name','Settings',...
-        'numbertitle','off',...
-        'resize','off',...
-        'CloseRequestFcn',@(src,event)close_fig(object,src,event));
-end
-
-% Ok Button
-uicontrol('style','push',...
-    'units','pix',...
-    'string','Ok',...
-    'HorizontalAlign','left',...
-    'Parent',object.fig,...
-    'Position',[object.fig_width - object.button_width*3 - object.button_offset*3, object.button_offset, object.button_width, object.button_height],...
-    'callback',@(src,event)ok_call(object,src,event));
-
-% Cancel Button
-uicontrol('style','push',...
-    'units','pix',...
-    'string','Cancel',...
-    'HorizontalAlign','left',...
-    'Parent',object.fig,...
-    'Position',[object.fig_width - object.button_width*2 - object.button_offset*2, object.button_offset, object.button_width, object.button_height],...
-    'callback',@(src,event)cancel_call(object,src,event));
-
-
-% Apply Button
-uicontrol('style','push',...
-    'units','pix',...
-    'string','Apply',...
-    'HorizontalAlign','left',...
-    'Parent',object.fig,...
-    'Position',[object.fig_width - object.button_width - object.button_offset, object.button_offset, object.button_width, object.button_height],...
-    'callback',@(src,event)apply_call(object,src,event));
-
-% main label
-uicontrol('style','text',...
-    'string','Table Tool Settings',...
-    'HorizontalAlign','center',...
-    'FontWeight','bold',...
-    'Parent',object.fig,...
-    'Position',[0, object.fig_height-object.text_offset-object.title_height, object.fig_width, object.title_height],...
-    'BackgroundColor',get(object.fig,'Color'));
-
-panel_height = object.text_offset*7+object.label_height*4;
-panel_width = object.fig_width-object.text_offset*2;
-panel = uipanel('Title','PVS',...
-    'visible','on',...
-    'units','pix',...
-    'BackgroundColor',get(object.fig,'Color'),...
-    'Position',[object.text_offset,object.fig_height-object.text_offset-object.title_height-panel_height,panel_width,panel_height]);
-
-
-% imports label
-uicontrol('style','text',...
-    'string','Imports:',...
-    'HorizontalAlign','left',...
-    'parent',panel,...
-    'Position',[object.text_offset, panel_height-object.text_offset*3-object.label_height, object.label_width, object.label_height],...
-    'BackgroundColor',get(object.fig,'Color'));
-
-elipse_width = 20;
-% import text box
-object.include_text = uicontrol('style','edit',...
-    'units','pix',...
-    'Parent',panel,...
-    'String',object.pvs_includes,...
-    'HorizontalAlign','center',...
-    'BackgroundColor',get(object.fig,'Color'),...
-    'Position',[object.text_offset+object.label_width, panel_height-object.text_offset*2-object.label_height, panel_width - (object.text_offset*3+object.label_width+elipse_width), object.label_height]);
-
-% elipsis button
-uicontrol('style','push',...
-    'units','pix',...
-    'string','...',...
-    'HorizontalAlign','left',...
-    'Parent',panel,...
-    'Position',[panel_width-elipse_width-object.text_offset, panel_height-object.text_offset*2-object.label_height, elipse_width, object.label_height],...
-    'callback',@(src,event)elipse_call(object,src,event));
-
-
-
-% count label
-uicontrol('style','text',...
-    'string','Test Count:',...
-    'HorizontalAlign','left',...
-    'parent',panel,...
-    'Position',[object.text_offset, panel_height-object.text_offset*4-object.label_height*2, object.label_width, object.label_height],...
-    'BackgroundColor',get(object.fig,'Color'));
-
-% count text box
-object.count_text = uicontrol('style','edit',...
-    'units','pix',...
-    'Parent',panel,...
-    'String',object.counter_trials,...
-    'HorizontalAlign','center',...
-    'BackgroundColor',get(object.fig,'Color'),...
-    'Position',[object.text_offset+object.label_width, panel_height-object.text_offset*3-object.label_height*2, panel_width - (object.text_offset*2+object.label_width), object.label_height]);
-
-
-% range label
-uicontrol('style','text',...
-    'string','Test Range:',...
-    'HorizontalAlign','left',...
-    'parent',panel,...
-    'Position',[object.text_offset, panel_height-object.text_offset*5-object.label_height*3, object.label_width, object.label_height],...
-    'BackgroundColor',get(object.fig,'Color'));
-
-% range text box
-object.range_text = uicontrol('style','edit',...
-    'units','pix',...
-    'Parent',panel,...
-    'String',object.counter_range,...
-    'HorizontalAlign','center',...
-    'BackgroundColor',get(object.fig,'Color'),...
-    'Position',[object.text_offset+object.label_width, panel_height-object.text_offset*4-object.label_height*3, panel_width - (object.text_offset*2+object.label_width), object.label_height]);
-
-% range label
-uicontrol('style','text',...
-    'string','Exception Output',...
-    'HorizontalAlign','left',...
-    'parent',panel,...
-    'Position',[object.text_offset, panel_height-object.text_offset*6-object.label_height*4, object.label_width, object.label_height],...
-    'BackgroundColor',get(object.fig,'Color'));
-
-
-% range text box
-object.except_check = uicontrol('style','checkbox',...
-    'units','pix',...
-    'Parent',panel,...
-    'HorizontalAlign','center',...
-    'BackgroundColor',get(object.fig,'Color'),...
-    'Position',[object.text_offset+object.label_width, panel_height-object.text_offset*5-object.label_height*4, panel_width - (object.text_offset*2+object.label_width), object.label_height]);
-
-if (object.except)
-    set(object.except_check,'value',get(object.except_check,'Max'));
-else
-    set(object.except_check,'value',get(object.except_check,'Min'));
-
-end
-object.open = 1;
-end
-
-