Source code

Revision control

Copy as Markdown

Other Tools

[try-tactic-base.html]
[flip-start affects base values]
expected: FAIL