Subject: [PATCH 1/2] tools/memory-model: Reflect updated file name convention in judgelitmus.sh

From: Akira Yokosawa
Date: Wed Aug 14 2019 - 11:14:11 EST