Property tests are fairly easy to construct for testings properties we want to hold for polymorphic parameter bindings. The idea is to generate sketch graphs that use other sketches. Then we check if words from the language of the formal in is in the language of the actual in. Then for outs we check if all the words in the actual out are in the formal out.
Property tests are fairly easy to construct for testings properties we want to hold for polymorphic parameter bindings. The idea is to generate sketch graphs that use other sketches. Then we check if words from the language of the formal in is in the language of the actual in. Then for outs we check if all the words in the actual out are in the formal out.