Test Framework (static version, function f and p)
Statistic
- Number of contracts:
- 2
- Number of verified contracts:
- 0
- Number of failed contracts:
- 0
- Number of contracts where check exists with an error:
- 0
- Number of well tested contracts:
- 2
- Number of tests run:
- 2000
Warnings
Module: f
- Contract 'integer->integer' is fulfilled by value: function f(x) {
return 2 * x;
}. Tests run: 1000
Module: p
- Contract 'integer, integer->boolean' is fulfilled by value: function p(x, y) {
if (x != y) {
if (f(x) == x + 10) {
return "true";
}
}
return false;
}. Tests run: 1000
Collected Counter Examples