| 21 | using namespace wasmtime; |
| 22 | |
| 23 | std::string readFile(const char *name) { |
| 24 | std::ifstream watFile; |
| 25 | watFile.open(name); |
| 26 | std::stringstream strStream; |
| 27 | strStream << watFile.rdbuf(); |
| 28 | return strStream.str(); |
| 29 | } |
| 30 | |
| 31 | #if defined(WASMTIME_ASAN) |
| 32 | const int N_THREADS = 1; |