We should add a --counterexample-information flag available in kontrol prove to the Kontrol cheatsheet page (https://docs.runtimeverification.com/kontrol/cheatsheets/kontrol-cheatsheet). The flag tells Kontrol to generate and show the counterexample (i.e., test parameter values that cause failure) for a failing test.
We should add a
--counterexample-information
flag available inkontrol prove
to the Kontrol cheatsheet page (https://docs.runtimeverification.com/kontrol/cheatsheets/kontrol-cheatsheet). The flag tells Kontrol to generate and show the counterexample (i.e., test parameter values that cause failure) for a failing test.