File size: 355 Bytes
96af7c9 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 |
const fc = require('fast-check');
// Function under test
function isSubstring(pattern, text) {
return text.indexOf(pattern) !== -1;
}
// Property based test
fc.assert(
fc.property(fc.string(), fc.string(), fc.string(), (a, b, c) => {
// For any a, b, c strings
// b is a substring of a + b + c
return isSubstring(b, a + b + c);
}),
);
|