Added a further degenerate partial correctness law (variant + "old" v… #94
Annotations
1 error
|
Build Theory
Process completed with exit code 1.
|