search

rse-verification / interface-specification-propagator

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

Frama-C v28.1 updates #16

Closed woosh closed 2 months ago

woosh commented 2 months ago

Update oracles to fit Frama-C v28.1 output