Make test case more rigid - SemanticDiff

Commit

4 years ago

Make test case more rigid

References

induction-bug-complex-major-premise-generalisation

#7707 - fix(tactic/induction): fix generalisation with complex major premise

Author

JLimperg

JLimperg

Committer

JLimperg

JLimperg

Parents

Loading