tests/sav: Update tests results
authorFlorian Deljarry <deljarry.florian@gmail.com>
Fri, 5 Jun 2020 20:02:39 +0000 (16:02 -0400)
committerFlorian Deljarry <deljarry.florian@gmail.com>
Fri, 5 Jun 2020 20:03:43 +0000 (16:03 -0400)
commit527006df562ad81caecc4814b946bd86384eeb16
treedb62566f4853e8695455f036e7b1549beeb4930e
parent7f88fd2a7ad47d644752b14cb2de08c1ba028ba2
tests/sav: Update tests results

Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
17 files changed:
tests/sav/contracts.res
tests/sav/contracts_abstract.res
tests/sav/contracts_add.res
tests/sav/contracts_constructor.res
tests/sav/contracts_ensures.res
tests/sav/contracts_ensures_1.res
tests/sav/contracts_ensures_2.res
tests/sav/contracts_ensures_3.res
tests/sav/contracts_ensures_4.res
tests/sav/contracts_ensures_sequence.res
tests/sav/contracts_error.res
tests/sav/contracts_expects_1.res
tests/sav/contracts_generic_type.res
tests/sav/contracts_inheritance.res
tests/sav/contracts_same_contract.res
tests/sav/contracts_static.res
tests/sav/contracts_virtual_type.res