more tests
Merge branch 'codegen_times' of github.com:spantela/stella-cs265 into codegen_times
Merge branch 'codegen_times' of github.com:spantela/stella-cs265 into codegen_times
Merge branch 'codegen_times' of github.com:spantela/stella-cs265 into codegen_times
cardinality change