From 981cc9e8e9fd2f76b4dced8b88f3dac41c87d761 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sat, 2 May 2015 11:43:48 -0700 Subject: 1238 - stop dying on run("") This makes our scenarios more flexible; we can now accept '+' and '-' trace lines in any order, because the tangler simply inserts a no-op run("") between them, and since we don't '===' clear the trace in between, later checks continue to apply to the trace from the first call to run(). --- cpp/020run.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/cpp/020run.cc b/cpp/020run.cc index 95a8a0b1..963fcd78 100644 --- a/cpp/020run.cc +++ b/cpp/020run.cc @@ -137,6 +137,7 @@ load_permanently("core.mu"); // helper for tests void run(string form) { vector tmp = load(form); + if (tmp.empty()) return; transform_all(); run(tmp.front()); } -- cgit 1.4.1-2-gfad0