python-by-contract-corpus icon indicating copy to clipboard operation
python-by-contract-corpus copied to clipboard

verified publisher icon mristin
→

Metadata

A corpus of Python programs annotated with contracts

Results 1 python-by-contract-corpus issues
Sort by recently updated
recently updated
newest added

Contract counterexamples detected by CrossHair

I've found 30 contract counterexamples via CrossHair in the correct solutions. They appear to be largely missing preconditions. Some may result from inconsistent expectations between CrossHair and icontract (especially perhaps...

pschanely avatar pschanely

← Metadata

20
Stars
4
Forks
Watchers

Owner

verified publisher icon mristin

Metadata

A corpus of Python programs annotated with contracts

Back