Re: [Qemu-devel] [PATCH v2 08/45] tests: add more int/number ranges checks

2017-06-06 Thread Markus Armbruster
Marc-André Lureau writes: > Hi > > On Thu, Jun 1, 2017 at 6:10 PM Markus Armbruster wrote: > >> Marc-André Lureau writes: >> >> > Suggested by Markus Armbruster: >> > >> > We should systematically cover the integers, in particular the >> > boundaries (because that's where bugs like to hide): >>

Re: [Qemu-devel] [PATCH v2 08/45] tests: add more int/number ranges checks

2017-06-06 Thread Marc-André Lureau
Hi On Thu, Jun 1, 2017 at 6:10 PM Markus Armbruster wrote: > Marc-André Lureau writes: > > > Suggested by Markus Armbruster: > > > > We should systematically cover the integers, in particular the > > boundaries (because that's where bugs like to hide): > > > > * Integers in [-2^63,0) can be vis

Re: [Qemu-devel] [PATCH v2 08/45] tests: add more int/number ranges checks

2017-06-01 Thread Markus Armbruster
Marc-André Lureau writes: > Suggested by Markus Armbruster: > > We should systematically cover the integers, in particular the > boundaries (because that's where bugs like to hide): > > * Integers in [-2^63,0) can be visited with visit_type_int() and > visit_type_number(). > > * Integers in [0,

[Qemu-devel] [PATCH v2 08/45] tests: add more int/number ranges checks

2017-05-31 Thread Marc-André Lureau
Suggested by Markus Armbruster: We should systematically cover the integers, in particular the boundaries (because that's where bugs like to hide): * Integers in [-2^63,0) can be visited with visit_type_int() and visit_type_number(). * Integers in [0,2^63) can be visited with visit_type_int(),