Generate random specs for testing. We do not generate external array indexes.
Documentation
randomStreams :: RandomGen g => Operators -> Operators -> Operators -> g -> (StreamableMaps Spec, Vars)Source
Generate random specs for testing. We do not generate external array indexes.
randomStreams :: RandomGen g => Operators -> Operators -> Operators -> g -> (StreamableMaps Spec, Vars)Source