-
Dirk Beyer authored
CHECK is the instruction to compute as result an answer TRUE/FALSE and a witness, while COVER is the instruction to compute as result a test suite.
8e89dc30
CHECK is the instruction to compute as result an answer TRUE/FALSE and a witness, while COVER is the instruction to compute as result a test suite.