aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed/3828.v
blob: ae11c6c96c535e262a4dcefd738569595e67a24a (plain)
1
2
Goal 0 = 0.
Fail pose ?Goal.