Commit Graph

3 Commits

Author SHA1 Message Date
Raúl Kripalani
9a355c4bc5 fix lint errors. 2020-09-27 21:11:32 +01:00
Raúl Kripalani
fe869c9c22 address review comments; lint. 2020-09-27 21:06:07 +01:00
Raúl Kripalani
e5c56da321 move conformance tvx tool to lotus. 2020-09-27 20:10:05 +01:00