Chanko is designed to be a GUI program that takes mathematical constraints written in latex to generate test cases automatically, including both general and corner cases.
- Constraint Language Spec (formal)
- GUI environment with textbox, file compilation + execution, and file generation
- latex parser for its structure and syntax validity
- defining test cases / corner cases (formal)
- preparing a bunch of raw data for a refrence
- generate numbers and strings based on the manipulated randomness with a time limit
- SMT for an enhanced pre-parsing for validating satisfiability
- support more functions (non-linears)