search

Barnard-PL-Labs / tsltools

Library and tools for the TSL specification format
Other
7 stars 4 forks source link

tests for codegen #72

Open leoqiao18 opened 7 months ago

leoqiao18 commented 7 months ago

There are currently no tests for codegen. We should figure out some ways to test it, so that we don't run into codegen bugs (e.g. #70 ).