From 11fa4fe1f51f2762c3c33dd33794096842d2707a Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Mon, 20 Apr 2015 10:19:35 -0700 Subject: 1108 - check for typos in memory expectations in scenarios --- cpp/.traces/parse_scenario_memory_expectation_duplicate | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 cpp/.traces/parse_scenario_memory_expectation_duplicate (limited to 'cpp/.traces/parse_scenario_memory_expectation_duplicate') diff --git a/cpp/.traces/parse_scenario_memory_expectation_duplicate b/cpp/.traces/parse_scenario_memory_expectation_duplicate new file mode 100644 index 00000000..b167144e --- /dev/null +++ b/cpp/.traces/parse_scenario_memory_expectation_duplicate @@ -0,0 +1,5 @@ +parse/0: reading scenario foo +parse/0: scenario will run: a <- b +parse/0: memory expectation: *1 == 0 +warn/0: duplicate expectation for location 1: 0 -> 1 +parse/0: memory expectation: *1 == 1 -- cgit 1.4.1-2-gfad0