search

rse-verification / interface-specification-propagator

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

Change oracles to reflect the output from Frama-C v28.1 #5

Closed woosh closed 1 week ago

woosh commented 4 months ago

Currently the oracles for the tests state the output from Frama-C v27.1. We want to upgrade ISP to use v28.1. While the project builds under v28.1 and the tests are able to complete, the output is slightly different. The EVA plugin was updated in v28.1 and some deprecated API calls where removed. Apparently the output has also changed slightly.

woosh commented 1 week ago

This issue was fixed by 5fad47c3cbe57b0b85229bf19c7e2afb3e2b5c38