static-contracts: improve optimizer's test for flat scs#631
Merged
bennn merged 1 commit intoracket:masterfrom Nov 7, 2017
Merged
static-contracts: improve optimizer's test for flat scs#631bennn merged 1 commit intoracket:masterfrom
bennn merged 1 commit intoracket:masterfrom