Example Traces Example 1 amm a3spec.sc -n 5 traces/example1.log A spec violation in the Put semantics of a distributed KV Store. Example 2 amm a2spec.sc --seed 100 -n 3 traces/example2.log A spec violation in the network failure detection.