Consensys / corset

4 stars 10 forks source link

Broken CSV Output from `convert` #107

Open DavePearce opened 1 month ago

DavePearce commented 1 month ago

Given this trace file:

{"test": { "A": [-1,1] } }

And these constraints:

(module test)
(defcolumns A)
(defpermutation (B) ((+ A)))
(defconstraint test () (vanishes! (+ A B)))

Then we have this:

$ corset convert --format csv --trace permute.trace permute.lisp ; cat trace.csv_test                    
A,B
0x-1,0
0x1,0