diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-04-20 10:19:35 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-04-20 10:19:35 -0700 |
commit | 11fa4fe1f51f2762c3c33dd33794096842d2707a (patch) | |
tree | 3025ee73910a86b7d0a6c6eeaf138bb532e6f308 /cpp/.traces/parse_scenario_memory_expectation_duplicate | |
parent | 6a1fdc9556c5476b65e7d8cdaf885458dd230aac (diff) | |
download | mu-11fa4fe1f51f2762c3c33dd33794096842d2707a.tar.gz |
1108 - check for typos in memory expectations in scenarios
Diffstat (limited to 'cpp/.traces/parse_scenario_memory_expectation_duplicate')
-rw-r--r-- | cpp/.traces/parse_scenario_memory_expectation_duplicate | 5 |
1 files changed, 5 insertions, 0 deletions
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 |