The kavach Command: test
● Intermediate1 min
kavach test runs a file's examples and test blocks, then tests it generates from your types and contracts.
kavach test orders.kav
kavach test orders.kav --seed 7
--seed repeats a run exactly. How tests come from types and contracts: Testing.