Skip to content

Rename bi/lib/counter_examples to bi/lib/counterexamples.

Janno requested to merge janno/iris:very_important_renaming into master

I just want to note that there could actually be some confusion here, given that there could be real "counter examples" in the development.

Merge request reports