oracle and metamorphic testing specified

luxe / unilang

A universal programming language

MIT License

33 stars 13 forks source link

oracle and metamorphic testing specified #416

Closed luxe closed 4 years ago

luxe commented 5 years ago

I'd like to make sure these kinds of manual tests and property based tests are mentioned inside unilang. I'm not sure how much it will span (into code generation?)