Variable naming

[recmo]

On 2020-05-06 @pvienhage wrote in af4b6e2 “Basic autogeneration (#687)”:

Variable naming

        .expect("No constraints");

    let trace_contract = autogen_trace_layout(&trace_keys, n_cols, max_degree, blowup);
    println!("{}", &trace_contract);

    // TODO - Variable naming
    let name = format!("contracts/{}.sol", "autogenerated_trace");
    let path = Path::new(&name);
    let display = path.display();
    let mut file = match File::create(&path) {
        Err(why) => panic!("couldn't create {}: {}", display, why.to_string()),

From crypto/stark/src/solidity_verifier.rs:275