Skip to content
Snippets Groups Projects
Commit 5345b2f3 authored by Zhuoyao Feng's avatar Zhuoyao Feng
Browse files

no message

parent 52077260
No related branches found
No related tags found
No related merge requests found
Showing
with 356 additions and 281 deletions
File deleted
README.md 100644 → 100755
File mode changed from 100644 to 100755
build.xml 100644 → 100755
File mode changed from 100644 to 100755
File mode changed from 100644 to 100755
File mode changed from 100644 to 100755
File mode changed from 100644 to 100755
File mode changed from 100644 to 100755
<?xml version="1.0" encoding="UTF-8"?>
<module type="JAVA_MODULE" version="4">
<component name="NewModuleRootManager" inherit-compiler-output="true">
<exclude-output />
<content url="file://$MODULE_DIR$">
<sourceFolder url="file://$MODULE_DIR$/src" isTestSource="false" />
<sourceFolder url="file://$MODULE_DIR$/test" isTestSource="true" />
</content>
<orderEntry type="inheritedJdk" />
<orderEntry type="sourceFolder" forTests="false" />
<orderEntry type="library" name="lib" level="project" />
</component>
</module>
\ No newline at end of file
File deleted
<?xml version="1.0" encoding="UTF-8"?>
<module type="JAVA_MODULE" version="4">
<component name="NewModuleRootManager" inherit-compiler-output="true">
<exclude-output />
<content url="file://$MODULE_DIR$">
<sourceFolder url="file://$MODULE_DIR$/mutant-1" isTestSource="false" />
<sourceFolder url="file://$MODULE_DIR$/mutant-2" isTestSource="false" />
<sourceFolder url="file://$MODULE_DIR$/mutant-3" isTestSource="false" />
<sourceFolder url="file://$MODULE_DIR$/mutant-4" isTestSource="false" />
<sourceFolder url="file://$MODULE_DIR$/mutant-5" isTestSource="false" />
</content>
<orderEntry type="inheritedJdk" />
<orderEntry type="sourceFolder" forTests="false" />
</component>
</module>
\ No newline at end of file
File added
File added
File added
File added
File added
File added
File added
......@@ -432,8 +432,6 @@ public class BoundaryTests {
}
//******************************* EC23 ********************************
/*
* boundary: val > pc_ && val > 0
......@@ -576,4 +574,27 @@ public class BoundaryTests {
Machine m = new Machine();
return m.execute(lines);
}
//To test an exception, specify the expected exception after the @Test
@Test(expected = java.io.IOException.class)
public void anExceptionTest()
throws Throwable {
throw new java.io.IOException();
}
//Read in a file containing a program and convert into a list of
//string instructions
private List<String> readInstructions(String file) {
Charset charset = Charset.forName("UTF-8");
List<String> lines = null;
try {
lines = Files.readAllLines(FileSystems.getDefault().getPath(file), charset);
} catch (Exception e) {
System.err.println("Invalid input file! (stacktrace follows)");
e.printStackTrace(System.err);
System.exit(1);
}
return lines;
}
}
\ No newline at end of file
......@@ -481,4 +481,30 @@ public class PartitioningTests {
Machine m = new Machine();
return m.execute(lines);
}
//To test an exception, specify the expected exception after the @Test
@Test(expected = java.io.IOException.class)
public void anExceptionTest()
throws Throwable
{
throw new java.io.IOException();
}
//Read in a file containing a program and convert into a list of
//string instructions
private List<String> readInstructions(String file)
{
Charset charset = Charset.forName("UTF-8");
List<String> lines = null;
try {
lines = Files.readAllLines(FileSystems.getDefault().getPath(file), charset);
}
catch (Exception e){
System.err.println("Invalid input file! (stacktrace follows)");
e.printStackTrace(System.err);
System.exit(1);
}
return lines;
}
}
\ No newline at end of file
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment