public void SpecTest_float_misc()
{
SpecTestRunner.Run(Path.Combine("Runtime", "SpecTestData", "float_misc"), "float_misc.json");
}
public void SpecTest_unreachable()
{
SpecTestRunner.Run(Path.Combine("Runtime", "SpecTestData", "unreachable"), "unreachable.json");
}
public void SpecTest_binary()
{
SpecTestRunner.Run(Path.Combine("Runtime", "SpecTestData", "binary"), "binary.json", line => line == 723);
}
public void SpecTest_linking()
{
// TODO: SpecTestRunner needs to route "register" input to imports to complete this test.
SpecTestRunner.Run(Path.Combine("Runtime", "SpecTestData", "linking"), "linking.json");
}
public void SpecTest_loop()
{
SpecTestRunner.Run(Path.Combine("Runtime", "SpecTestData", "loop"), "loop.json");
}
public void SpecTest_i32()
{
SpecTestRunner.Run <IntegerMath <int> >(Path.Combine("Runtime", "SpecTestData", "i32"), "i32.json", new HashSet <uint> {
106
}.Contains);
}
public void SpecTest_int_literals()
{
SpecTestRunner.Run(Path.Combine("Runtime", "SpecTestData", "int_literals"), "int_literals.json");
}
public void SpecTest_const()
{
SpecTestRunner.Run(Path.Combine("Runtime", "SpecTestData", "const"), "const.json");
}
public void SpecTest_custom()
{
SpecTestRunner.Run(Path.Combine("Runtime", "SpecTestData", "custom"), "custom.json");
}
public void SpecTest_utf8_import_module()
{
SpecTestRunner.Run(Path.Combine("Runtime", "SpecTestData", "utf8-import-module"), "utf8-import-module.json");
}
public void SpecTest_break_drop()
{
SpecTestRunner.Run(Path.Combine("Runtime", "SpecTestData", "break-drop"), "break-drop.json");
}
public void SpecTest_utf8_import_field()
{
SpecTestRunner.Run(Path.Combine("Runtime", "SpecTestData", "utf8-import-field"), "utf8-import-field.json");
}
public void SpecTest_utf8_custom_section_id()
{
SpecTestRunner.Run(Path.Combine("Runtime", "SpecTestData", "utf8-custom-section-id"), "utf8-custom-section-id.json");
}
public void SpecTest_unwind()
{
SpecTestRunner.Run(Path.Combine("Runtime", "SpecTestData", "unwind"), "unwind.json");
}
public void SpecTest_forward()
{
SpecTestRunner.Run(Path.Combine("Runtime", "SpecTestData", "forward"), "forward.json");
}
public void SpecTest_elem()
{
var needTableImport = new HashSet <uint>
{ // Missing import for spectest::table. (or other table import error)
28,
43,
91,
101,
116,
122,
128,
134,
186,
203,
229,
237,
318,
357,
370,
};
var initializerIssues = new HashSet <uint>
{ // Initializer expression support for the Element section is limited to a single Int32 constant followed by end.
53,
60,
};
var operationIssues = new HashSet <uint>
{ // Operation is not valid due to the current state of the object.
97,
106,
111,
};
var exceptionExpected = new HashSet <uint>
{ // No exception thrown. ModuleLoadException exception was expected.
143,
152,
161,
178,
195,
};
var failedLookUp = new HashSet <uint>
{ // Failed to look up method call-overwritten-element
329,
};
var nullRef = new HashSet <uint>
{ // NullReferenceException
353,
366,
379,
};
var notEqual = new HashSet <uint>
{
367, // Not equal: 68 and 65
380, // Not equal: 69 and 65
381, // Not equal: 70 and 66
};
SpecTestRunner.Run(Path.Combine("Runtime", "SpecTestData", "elem"), "elem.json",
line =>
needTableImport.Contains(line) ||
initializerIssues.Contains(line) ||
operationIssues.Contains(line) ||
exceptionExpected.Contains(line) ||
failedLookUp.Contains(line) ||
nullRef.Contains(line) ||
notEqual.Contains(line)
);
}
public void SpecTest_func_ptrs()
{
SpecTestRunner.Run(Path.Combine("Runtime", "SpecTestData", "func_ptrs"), "func_ptrs.json");
}
public void SpecTest_align()
{
Func <uint, bool> skip = line => line <= 454 || (line >= 807 && line <= 811) || (line >= 828 && line <= 850);
SpecTestRunner.Run(Path.Combine("Runtime", "SpecTestData", "align"), "align.json", skip);
}
public void SpecTest_if()
{
SpecTestRunner.Run(Path.Combine("Runtime", "SpecTestData", "if"), "if.json");
}
public void SpecTest_f32()
{
SpecTestRunner.Run(Path.Combine("Runtime", "SpecTestData", "f32"), "f32.json");
}
public void SpecTest_labels()
{
SpecTestRunner.Run(Path.Combine("Runtime", "SpecTestData", "labels"), "labels.json");
}
public void SpecTest_f64_bitwise()
{
SpecTestRunner.Run(Path.Combine("Runtime", "SpecTestData", "f64_bitwise"), "f64_bitwise.json");
}
public void SpecTest_local_tee()
{
SpecTestRunner.Run(Path.Combine("Runtime", "SpecTestData", "local_tee"), "local_tee.json");
}
public void SpecTest_f64_cmp()
{
SpecTestRunner.Run(Path.Combine("Runtime", "SpecTestData", "f64_cmp"), "f64_cmp.json");
}
public void SpecTest_memory_redundancy()
{
SpecTestRunner.Run(Path.Combine("Runtime", "SpecTestData", "memory_redundancy"), "memory_redundancy.json");
}
public void SpecTest_type()
{
SpecTestRunner.Run(Path.Combine("Runtime", "SpecTestData", "type"), "type.json");
}
