Number of contracts where check exists with an error:
0
Number of well tested contracts:
0
Number of tests run:
3
Warnings
Module: h
Contract 'pobject{['quest','p']}->boolean' is not fulfilled by the value: function h (x) {
if (((x && x.p) && x.quest)) return "true";;
return false;
}. Tests run: 2
Collected Counterexamples
value
function h (x) {
if (((x && x.p) && x.quest)) return "true";;
return false;
}