search

Consensys / linea-arithmetization

19 stars 19 forks source link

fix: package definition for generated Trace.java files #727

Open lorenzogentile404 opened 1 month ago

lorenzogentile404 commented 1 month ago

When generating the Trace.java file for shfreftable we get as a package definition package net.consensys.linea.zktracer.module.ShfRt; while I expected packagenet.consensys.linea.zktracer.module.tables.shf;. Could this be an issue related to traces-files.gradle? Currently we have:

tasks.register('shfreftable', TraceFilesTask) {
    group "Trace files generation"
    dependsOn corsetExists

    moduleDir = "tables/shf"
    module = "ShfRt"
    files = ["reftables/shf_reftable.lisp"]
}

Double check if we have the same problem somewhere else.