parse_scenario_memory_expectation_duplicate « .traces « cpp - mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

about summary refs log tree commit diff stats

path: root/cpp/.traces/parse_scenario_memory_expectation_duplicate

blob: b167144e034633c5fe894edecbaf9498c8f141d5 (plain) (blame)

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