diff --git a/ARM_doc.pdf b/ARM_doc.pdf
index a03607ae7f7dc57dcef5c14999b43699ca22934d..18a3da52133af4c368f89326184b30052bfbdbfc 100644
Binary files a/ARM_doc.pdf and b/ARM_doc.pdf differ
diff --git a/invalid/semanticErr/print/printTypeErr02.wacc b/invalid/semanticErr/print/printTypeErr02.wacc
deleted file mode 100644
index b05deadf9c050d5f421d51684cce45204b8e4417..0000000000000000000000000000000000000000
--- a/invalid/semanticErr/print/printTypeErr02.wacc
+++ /dev/null
@@ -1,14 +0,0 @@
-# type mismatch: string <- char[]
-
-# Output:
-# #semantic_error#
-
-# Exit:
-# 200
-
-# Program:
-
-begin
-  string s = ['h','i','!'];
-  println s
-end
diff --git a/refCompile b/refCompile
index 8b7ba156ba28b5f88f51bfd0c1269207ca32b15f..da67ca36ad65601ffcbfb6d7c45d4a03257dd30d 100755
--- a/refCompile
+++ b/refCompile
@@ -1,5 +1,5 @@
 #!/usr/bin/ruby
-# comand line script that sends an HTTPS request to the WACC compiler web interface and interprets the JSON response
+# command line script that sends an HTTPS request to the WACC compiler web interface and interprets the JSON response
 
 require "rest-client"
 require "json"
@@ -106,13 +106,14 @@ end
 files.each do |file_path|
   puts "calling the reference compiler on #{file_path}"
   
-  #get stdin from the user to pass to the reference compiler
+  # get stdin from the user to pass to the reference compiler
   stdin = ""
   if $options[:execute] then
     puts "please provide a stdin stream to use when executing the program:"
     stdin = STDIN.gets
   end
 
+  # make the call to the reference compiler
   RestClient.post("https://teaching.doc.ic.ac.uk/wacc_compiler/run.cgi", 
                     :stdin => stdin,
                     :options => $opts,
diff --git a/refEmulate b/refEmulate
new file mode 100755
index 0000000000000000000000000000000000000000..8bf2152918c364a426720e97b2a59a03f8f60e77
--- /dev/null
+++ b/refEmulate
@@ -0,0 +1,91 @@
+#!/usr/bin/ruby
+# command line script that sends an HTTPS request to the WACC compiler web interface and interprets the JSON response
+
+require "rest-client"
+require "json"
+require "optparse"
+
+
+ARGV << "-h" if ARGV.empty?
+
+$options = {}
+$opts = []
+OptionParser.new do |opts|
+  opts.banner = "Usage: #{$0} [options] <target.s> \n  options:"
+  
+  $options[:assemble_only] = false
+  opts.on("-a", "--assemble_only",
+    "Assemble only. Check the input file for assembly errors, but do not execute the generated binary file.") do
+    $opts << "-a" 
+    $options[:assemble_only] = true
+  end  
+
+  $options[:directory] = false
+  opts.on("-d", "--directory",
+    "Give directory of ARM assembly files." ) do
+    $options[:directory] = true
+  end
+
+  opts.on_tail("-h", "--help",
+    "Show this message") do
+    puts opts
+    puts ""
+    puts "  target.s: path to ARM assembly program file to emulate (or target directory if -dir option set)"
+    exit
+  end
+
+end.parse!
+
+# set up empty array of file_paths to process
+files = []
+puts ARGV[0]
+if $options[:directory] then
+  # add the results of a search to the array
+  files += Dir.glob(File.join(ARGV[0], "**", "*.s"))
+else
+  # just add the target file to the array
+  files << ARGV[0]
+end
+
+# check that there is at least one file to process
+if files == [] then
+  puts "Error: no file(s) targeted"
+  exit 1
+end
+
+# now process each target file
+files.each do |file_path|
+  puts "calling the ARM emulator on #{file_path}"
+  
+  # get stdin from the user to pass to the ARM emulator
+  stdin = ""
+  unless $options[:assemble_only] then
+    puts "please provide a stdin stream to use when emulating the program:"
+    stdin = STDIN.gets
+  end
+
+  # make the call to the ARM emulator
+  RestClient.post("https://teaching.doc.ic.ac.uk/wacc_compiler/emulate.cgi",
+                    :stdin => stdin,
+                    :options => $opts,
+                    :testfile => File.new(file_path)
+                   ) do |response|
+    json = JSON.load(response)
+    puts "-- Test: #{json['test']}"
+    puts ""
+    puts "-- Uploaded file: "
+    puts "---------------------------------------------------------------"
+    puts json['upload']
+    puts "---------------------------------------------------------------"
+    puts ""
+    puts "-- Assembly Output:"
+    puts json['assemble_out']
+    puts ""
+    unless $options[:assemble_only] then
+      puts "-- Emulation Output:" 
+      puts json['emulator_out']
+      puts ""
+    end
+  end
+  
+end