ultimate icon indicating copy to clipboard operation
ultimate copied to clipboard

Published 20 hours ago • verified publisher icon ultimate-pa

Tests for ApplicationFunction prev()

Open hauff opened this issue 4 years ago • 2 comments

Implement in BoogieBooleanExpressionDecisionTest.

hauff avatar Oct 02 '20 11:10 hauff

@hauff What is missing for this?

danieldietsch avatar Oct 12 '20 17:10 danieldietsch

@hauff What is missing for this?

Time. ;-) I will fix it this week.

hauff avatar Oct 12 '20 21:10 hauff