[Announcement][HW5] fix test script

[KihongHeo]

• Please apply the following patch to test/dune:

--- a/test/dune
+++ b/test/dune
@@ -2,34 +2,58 @@
  (deps example1.ll)
  (action
   (with-stdout-to
-   example1.sign.output
-   (run ../analyzer example1.ll))))
+   example1.output
+   (run ../analyzer sign example1.ll))))

 (rule
  (alias runtest)
  (action
-  (diff example1.sign.expected example1.sign.output)))
+  (diff example1.expected example1.output)))

 (rule
  (deps example2.ll)
  (action
   (with-stdout-to
-   example2.sign.output
-   (run ../analyzer example2.ll))))
+   example2.output
+   (run ../analyzer sign example2.ll))))

 (rule
  (alias runtest)
  (action
-  (diff example2.sign.expected example2.sign.output)))
+  (diff example2.expected example2.output)))

 (rule
  (deps example3.ll)
  (action
   (with-stdout-to
-   example3.sign.output
-   (run ../analyzer example3.ll))))
+   example3.output
+   (run ../analyzer sign example3.ll))))

 (rule
  (alias runtest)
  (action
-  (diff example3.sign.expected example3.sign.output)))
+  (diff example3.expected example3.output)))
+
+(rule
+ (deps example4.ll)
+ (action
+  (with-stdout-to
+   example4.output
+   (run ../analyzer taint example4.ll))))
+
+(rule
+ (alias runtest)
+ (action
+  (diff example4.expected example4.output)))
+
+(rule
+ (deps example5.ll)
+ (action
+  (with-stdout-to
+   example5.output
+   (run ../analyzer taint example5.ll))))
+
+(rule
+ (alias runtest)
+ (action
+  (diff example5.expected example5.output)))

• Remove .travis.yml

Students, who checkout the skeleton code from now on, will have the fixed code.