It was even banned internally for a couple of years and Armstrong left Ericsson as a result. I know it gets some use within Ericsson for running quickcheck tes

It was even banned internally for a couple of years and Armstrong left Ericsson as a result. I know it gets some use within Ericsson for running quickcheck tests against C-code.