casm-tc (cargo): Corinthian Abstract State Machine (CASM) Example Application and Test Case Library
Keywords: benchmarks|casm|examples|library|test-cases