Commit 35a84491 authored by Jonathan Shahen's avatar Jonathan Shahen

Adding Ahn's test to the CUI

parent 0e40a234
package mohawk;
import java.io.BufferedReader;
import java.io.FileReader;
import java.io.FileWriter;
import java.io.IOException;
import java.io.*;
import java.util.ArrayList;
import java.util.Scanner;
......@@ -88,6 +85,8 @@ public class MohawkCUI {
System.out.println("-mode bmc -run all -bulk -input data/testcases/mixednocr !exit");
System.out.println("-mode bmc -run all -bulk -input data/testcases/mixed !exit");
System.out.println("");
System.out.println("-mode bmc -run all -input data/ahn/test.st.mohawk.T.mohawk !exit");
System.out.println("");
try {
BufferedReader bfr = new BufferedReader(new FileReader(previousCommandFilename));
String previousCmd = bfr.readLine();
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment