search

ultimate-pa / ultimate

The Ultimate program analysis framework.
https://ultimate-pa.org/
199 stars 41 forks source link

Tests for ApplicationFunction prev() #511

Open hauff opened 4 years ago

hauff commented 4 years ago

Implement in BoogieBooleanExpressionDecisionTest.

danieldietsch commented 4 years ago

@hauff What is missing for this?

hauff commented 4 years ago

@hauff What is missing for this?

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