Add more tests - Githubissues

JamieLine / UnmaskedCXX

Automatic test generation for C/C++ Programs (WIP)

Other

0 stars 0 forks source link

Add more tests #6

Open JamieLine opened 7 months ago

JamieLine commented 7 months ago

[ ] Test to ensure two functions always return the same thing
[ ] Test to ensure that the output always satisfies some predicate

JamieLine commented 7 months ago

Note for the test which ensures they always satisfy some predicate, that might make it sensible to redefine old tests as a "macro" upon that new test

JamieLine commented 7 months ago

It may also become sensible to decompose the templates into smaller versions, e.g. a "running segment" and a "data population segment" because there are Large Similarites between UnmaskedStabilisingSetTest and UnmaskedAlwaysReturnValueTest