[PATCH v2] tools/memory-model: Make compat with herd7 7.47 ("-" -> "_")

From: Akira Yokosawa
Date: Fri Feb 09 2018 - 18:46:36 EST