rse-verification / interface-specification-propagator

GNU General Public License v2.0
0 stars 0 forks source link

Fix oracles for removed behaviors #12

Closed woosh closed 2 months ago

woosh commented 2 months ago

This PR fixes the broken test oracles for the derived annotations when the "behavior" heading is removed.

@gustavung If you think this looks good, you can merge it to "your" branch, and then we can merge that to master.