Currently, Kontrol supports a unique set of cheat codes that slightly differ from those used in Foundry. As we evolve, there's an increasing need to document these cheat codes comprehensively.
Also, as more testing tools are converging towards a common specification format, it would be cool to have a compatibility table, with cheat codes as rows, and columns for Kontrol, Foundry, Halmos, and HEVM.
Currently, Kontrol supports a unique set of cheat codes that slightly differ from those used in Foundry. As we evolve, there's an increasing need to document these cheat codes comprehensively.
Also, as more testing tools are converging towards a common specification format, it would be cool to have a compatibility table, with cheat codes as rows, and columns for Kontrol, Foundry, Halmos, and HEVM.