Kontrol Arguments
Positional Argument | Description |
---|---|
| Print out version of Kontrol command. |
| Generate combined JSON with solc compilation results. |
| Output helper K definition for given JSON output from solc compiler. |
| Kompile K definition corresponding to given output directory. |
| Generate a state diff summary from an account access dict |
| Run Foundry Proof. |
| Print the CFG for a given proof. |
| Dump the given CFG for the test as DOT for visualization. |
| List information about CFGs on disk. |
| Explore a given proof in the KCFG visualizer. |
| Remove a node and its successors. |
| Refute a node and add its refutation as a subproof. |
| Disable refutation of a node and remove corresponding refutation subproof. |
| Simplify a given node, and potentially replace it. |
| Step from a given node, adding it to the CFG. |
| Merge multiple nodes into one branch. |
| Given an edge in the graph, cut it into sections to get intermediate nodes. |
| Display a model for a given node. |
Last updated