Remove MissingOutput flag from test case conditionals2.vpr

viperproject / silver

Definition of the Viper intermediate verification language.

Mozilla Public License 2.0

78 stars 40 forks source link

Remove MissingOutput flag from test case conditionals2.vpr #788

Closed manud99 closed 2 months ago

manud99 commented 4 months ago

The PR viperproject/silicon#836 fixes an issue that was mentioned in Issue viperproject/silicon#307. For a 100% test result, the MissingOutput flag must be removed from the conditionals2.vpr test file.