Closed zhfnjust closed 3 years ago
Fix #11
source => ast => flattened_prog => ir_prog => ir::Interpreter=> witness
source => ast => flattened_prog => my_prog => my::Interpreter=> witness
Fix #11